- Representable Cylindric Algebras and Many-Dimensional Modal Logics
- Mathematical Logic Quarterly, 29 February 2008 Weakly associative relation algebras with projections
- On the Computational Complexity of Decidable Fragments of FirstOrder Linear Temporal Logics
- Conservativity of Boolean algebras with operators over semilattices with operators
- On the complexity of modal axiomatisations over many-dimensional structures
- S5 3 lacks the fmp (another proof) 1 August 2000
- Non-primitive recursive decidability of products of modal logics
- The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000
- Modal logics for metric spaces: open problems Agi Kurucz 1 , Frank Wolter 2 , and Michael Zakharyaschev 1
- Products of modal logics with diagonal constant lacking the nite model property
- S5 S5 S5 lacks the finite model property Dept. of Computer Science
- UNDECIDABILITY OF FIRST-ORDER INTUITIONISTIC AND MODAL LOGICS WITH TWO VARIABLES
- Non-finitely axiomatisable two-dimensional modal logics Agi Kurucz and Sergio Marcelino
- Modal logics for metric spaces: open problems Agi Kurucz1
- Towards a Natural Language Semantics without Functors and Operands
- On axiomatising products of Kripke frames, part II
- COMBINING MODAL LOGICS 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
- Islands of tractability for relational constraints: towards dichotomy results for the description
- SPATIAL LOGIC + TEMPORAL LOGIC =? Roman Kontchakov
- Journal of Artificial Intelligence Research 23 (2005) 167243 Submitted 07/04; published 02/05 Combining Spatial and Temporal Logics
- On P/NP Dichotomies for EL Subsumption under Relational Constraints
- Mathematical Logic Quarterly, 29 February 2008 Weakly associative relation algebras with projections
- On axiomatising products of Kripke frames, part II
- Journal ofLogic,Language,andInformation 4: 191-206, 1995. 9 1995KluwerAcademicPublishers. Printedin theNetherlands.
- ON MODAL LOGICS BETWEEN K K K AND S5 S5 S5 R. HIRSCH, I. HODKINSON AND A. KURUCZ
- Combining algebraizable logics A.Janossy, A.Kurucz, A.E.Eiben
- COMBINING MODAL LOGICS 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
- A note on relativised products of modal logics Agi Kurucz and Michael Zakharyaschev
