- Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge: MIT Press.details
|
|
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.details
|
|
On The Decision Problem For Two-variable First-order Logic, By, Pages 53 -- 69.Erich Gr\"Adel, Phokion Kolaitis & Moshe Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.details
|
|
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.details
|
|
(1 other version)Remarks on Gregory's “actually” operator.Patrick Blackburn & Maarten Marx - 2002 - Journal of Philosophical Logic 31 (3):281-288.details
|
|
(1 other version)On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.details
|
|
Translation Methods for Non-Classical Logics: An Overview.Hans Ohlbach - 1993 - Logic Journal of the IGPL 1 (1):69-89.details
|
|
Finite Automata, Formal Logic, and Circuit Complexity.Howard Straubing - 1994 - Birkhäuser.details
|
|
Relational interpretation of modal logics.Ewa Orlowska - 1988 - Bulletin of the Section of Logic 17 (1):2-10.details
|
|
(1 other version)Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
(1 other version)On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.details
|
|
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.details
|
|
Modal Tableaux for Reasoning About Diagrams.Luis del Cerro & Olivier Gasquet - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91:169-184.details
|
|
(1 other version)Remarks on Gregory's “Actually” Operator.Blackburn Patrick & Marx Maarten - 2002 - Journal of Philosophical Logic 31 (3):281-288.details
|
|
Expressive functional completeness in tense logic (preliminary report).Dov M. Gabbay - 1981 - In Uwe Mönnich (ed.), Aspects of Philosophical Logic: Some Logical Forays Into Central Notions of Linguistics and Philosophy. Dordrecht, Netherland: Dordrecht. pp. 91--117.details
|
|
(2 other versions)Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.details
|
|
(1 other version)A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
Decidability results in non-classical logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (3):237-295.details
|
|
Tableau calculus for local cubic modal logic and its implementation.M. Marx, S. Mikulàs & S. Schlobach - 1999 - Logic Journal of the IGPL 7 (6):755-778.details
|
|
On the Decision Problem for Two-Variable First-Order Logic.Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.details
|
|
Decidability of SHIQ with complex role inclusion axioms.Ian Horrocks & Ulrike Sattler - 2004 - Artificial Intelligence 160 (1-2):79-104.details
|
|
On the decision problem for two-variable first-order logic.Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.details
|
|
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.details
|
|
Deciding Regular Grammar Logics with Converse Through First-Order Logic.Stéphane Demri & Hans Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.details
|
|
A general framework for pattern-driven modal tableaux.Luis Fariñas Del Cerro & Olivier Gasquet - 2002 - Logic Journal of the IGPL 10 (1):51-83.details
|
|
A General Framework For Pattern-driven Modal Tableaux.L. Del Cerro & O. Gasquet - 2002 - Logic Journal of the IGPL 10 (1):51-83.details
|
|
A translation from the modal logic of provability into K4.Philippe Balbiani & Andreas Herzig - 1994 - Journal of Applied Non-Classical Logics 4 (1):73-77.details
|
|
The computational complexity of hybrid temporal logics.C. Areces, P. Blackburn & M. Marx - 2000 - Logic Journal of the IGPL 8 (5):653-679.details
|
|
Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.details
|
|
(1 other version)A Tableau Algorithm for the Clique Guarded Fragment.Colin Hirsch & Stephan Tobies - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 257-277.details
|
|
[Omnibus Review].Arto Salomaa - 1966 - Journal of Symbolic Logic 31 (3):501-502.details
|
|
Modal tableaux for reasoning about diagrams.Luis Fariñas del Cerro & Olivier Gasquet - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):169-184.details
|
|
Cornerstones of Undecidability.Grzegorz Rozenberg & Arto Salomaa - 1994details
|
|
Grammar logics.L. Farinas del Cerro & Martti Penttonen - 1988 - Logique Et Analyse 31 (121-122):123-134.details
|
|
(1 other version)Modal Logics with Weak Forms of Recursion: PSPACE Specimens.Stéphane Demri - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 113-138.details
|
|
Grammar Logics.L. FariÑas Del Cerro - 1988 - Logique Et Analyse 31 (21):123.details
|
|
(1 other version)A Tableau Algorithm for the Clique Guarded Fragment.Colin Hirsch & Stephan Tobies - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 257-277.details
|
|
(1 other version)Modal Logics with Weak Forms of Recursion: PSPACE Specimens.Stéphane Demri - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 113-138.details
|
|