- A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.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
|
|
(2 other versions)On modal logics between K × K × K and S5 × S5 × S5.Robin Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.details
|
|
A multi-dimensional terminological knowledge representation language.Franz Baader & Hans Juürgen Ohlbach - 1995 - Journal of Applied Non-Classical Logics 5 (2):153-197.details
|
|
Axiomatizing Distance Logics.Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):425-439.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
|
|
(2 other versions)On modal logics between {$\roman K\times\roman K\times \roman K$} and {${\rm S}5\times{\rm S}5\times{\rm S}5$}.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.details
|
|
In so many possible worlds.Kit Fine - 1972 - Notre Dame Journal of Formal Logic 13 (4):516-520.details
|
|
On modal logics between K × K × K and $s5 \times s5 \times s5$.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221 - 234.details
|
|
Editorial.Wiebe van der Hoek - 2004 - Synthese 139 (2):133-134.details
|
|
Properties of independently axiomatizable bimodal logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.details
|
|
(2 other versions)On modal logics between K × K × K and s5 × s5 × S.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.details
|
|
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.details
|
|
(1 other version)A note on graded modal logic.Maarten de Rijke - 2000 - Studia Logica 64 (2):271-283.details
|
|
A Spatial Logic Based on Regions and Connection.David Randell, Cui A., Cohn Zhan & G. Anthony - 1992 - KR 92:165--176.details
|
|
(1 other version)Many-Dimensional Modal Logics: Theory and Applications.D. M. Gabbay, A. Kurucz, F. Wolter & M. Zakharyaschev - 2005 - Studia Logica 81 (1):147-150.details
|
|
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.details
|
|
Fibring Logics.Dov M. Gabbay - 2000 - Studia Logica 66 (3):440-443.details
|
|
Practical reasoning for very expressive description logics.I. Horrocks, U. Sattler & S. Tobies - 2000 - Logic Journal of the IGPL 8 (3):239-263.details
|
|
Editorial.W. van der Hoek - 2003 - Logic Journal of the IGPL 11 (2):133-133.details
|
|