On the relative succinctness of modal logics with union, intersection and quantification

Wiebe van der Hoek, Petar Iliev. On the relative succinctness of modal logics with union, intersection and quantification. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 341-348, IFAAMAS/ACM, 2014. [doi]

Abstract

Abstract is missing.