- (2 other versions)Modal logic.Yde Venema - 2000 - Philosophical Review 109 (2):286-289.details
|
|
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.details
|
|
On the succinctness of some modal logics.Tim French, Wiebe van der Hoek, Petar Iliev & Barteld Kooi - 2013 - Artificial Intelligence 197 (C):56-85.details
|
|
On the Size of Shortest Modal Descriptions.Santiago Figueira & Gorín - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 120-139.details
|
|
(2 other versions)Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.details
|
|
Some Exponential Lower Bounds on Formula-size in Modal Logic.Hans van Ditmarsch, Wiebe van der Hoek & Petar Iliev - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 139-157.details
|
|
Finite models constructed from canonical formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.details
|
|
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 499-518.details
|
|
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 499-518.details
|
|
Uniform Interpolation for Monotone Modal Logic.Luigi Santocanales & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 350-370.details
|
|
Uniform Interpolation for Monotone Modal Logic.Luigi Santocanales & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 350-370.details
|
|
On the Size of Shortest Modal Descriptions.Santiago Figueira & Gorín - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 120-139.details
|
|