- A system of dynamic modal logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.details
|
|
Why Combine Logics?Patrick Blackburn & Maarten de Rijke - 1997 - Studia Logica 59 (1):5 - 27.details
|
|
Editors' Introduction.Patrick Blackburn & Maarten de Rijke - 1996 - Notre Dame Journal of Formal Logic 37 (2):161-166.details
|
|
A two‐dimensional metric temporal logic.Stefano Baratella & Andrea Masini - 2020 - Mathematical Logic Quarterly 66 (1):7-19.details
|
|
2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.details
|
|
Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Hoek, Juan Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1-26.details
|
|
A System of Dynamic Modal Logic.Maarten Rijkdee - 1998 - Journal of Philosophical Logic 27 (2):109-142.details
|
|
Importing Logics.João Rasga, Amílcar Sernadas & Cristina Sernadas - 2012 - Studia Logica 100 (3):545-581.details
|
|
Importing Logics: Soundness and Completeness Preservation. [REVIEW]J. Rasga, A. Sernadas & C. Sernadas - 2013 - Studia Logica 101 (1):117-155.details
|
|
Fibring as Biporting Subsumes Asymmetric Combinations.J. Rasga, A. Sernadas & C. Sernadas - 2014 - Studia Logica 102 (5):1041-1074.details
|
|
Editors' Introduction.Patrick Blackburn & Maarten de Rijke - 1996 - Notre Dame Journal of Formal Logic 37 (2):161-166.details
|
|
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.details
|
|
A Decidable Temporal Logic of Parallelism.Mark Reynolds - 1997 - Notre Dame Journal of Formal Logic 38 (3):419-436.details
|
|
-Connections of abstract description systems.Oliver Kutz, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Artificial Intelligence 156 (1):1-73.details
|
|
The Grammar of Code Switching.Marcus Kracht & Udo Klein - 2014 - Journal of Logic, Language and Information 23 (3):313-329.details
|
|
Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.details
|
|
Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1 - 26.details
|
|
Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Combining logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.details
|
|