- Relation Algebras by Games.I. Hodkinson & Robin Hirsch - 2004 - Studia Logica 77 (1):139-141.details
|
|
On the Complexity of Modal Axiomatisations over Many-dimensional Structures.Agi Kurucz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 256-270.details
|
|
On the Complexity of Modal Axiomatisations over Many-dimensional Structures.Agi Kurucz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 256-270.details
|
|
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.details
|
|
Two-dimensional modal logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.details
|
|
On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.details
|
|
Non-finitely axiomatisable two-dimensional modal logics.Agi Kurucz & Sérgio Marcelino - 2012 - Journal of Symbolic Logic 77 (3):970-986.details
|
|
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
|
|
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
|
|
Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.details
|
|
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.details
|
|
On Axiomatising Products of Kripke Frames.Agnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.details
|
|
Complete Representations in Algebraic Logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.details
|
|
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.details
|
|
Relation Algebras by Games.Robin Hirsch & Ian Hodkinson - 2003 - Bulletin of Symbolic Logic 9 (4):515-520.details
|
|
Many-Dimensional Modal Logics: Theory and Applications.D. M. Gabbay, A. Kurucz, F. Wolter & M. Zakharyaschev - 2005 - Studia Logica 81 (1):147-150.details
|
|