Many-dimensional modal logics: theory and applications A Kurucz, F Wolter, M Zakharyaschev, DM Gabbay Elsevier, 2003 | 957 | 2003 |
15 combining modal logics A Kurucz Studies in Logic and Practical Reasoning 3, 869-924, 2007 | 138 | 2007 |
Combining spatial and temporal logics: expressiveness vs. complexity D Gabelaia, R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev Journal of artificial intelligence research 23, 167-243, 2005 | 106 | 2005 |
Spatial logic+ temporal logic=? R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev Handbook of spatial logics, 497-564, 2007 | 99 | 2007 |
On modal logics between K× K× K and S5× S5× S5 R Hirsch, I Hodkinson, A Kurucz The Journal of Symbolic Logic 67 (1), 221-234, 2002 | 74 | 2002 |
On the computational complexity of decidable fragments of first-order linear temporal logics I Hodkinson, R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev 10th International Symposium on Temporal Representation and Reasoning, 2003 …, 2003 | 65 | 2003 |
Products of ‘transitive” modal logics D Gabelaia, A Kurucz, F Wolter, M Zakharyaschev The Journal of Symbolic Logic 70 (3), 993-1021, 2005 | 63 | 2005 |
Non-primitive recursive decidability of products of modal logics with expanding domains D Gabelaia, A Kurucz, F Wolter, M Zakharyaschev Annals of Pure and Applied Logic 142 (1-3), 245-268, 2006 | 54 | 2006 |
Undecidability of first-order intuitionistic and modal logics with two variables R Kontchakov, A Kurucz, M Zakharyaschev Bulletin of Symbolic Logic 11 (3), 428-438, 2005 | 53 | 2005 |
On the Computational Complexity of Spatio-Temporal Logics. D Gabelaia, R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev FLAIRS 3, 460-464, 2003 | 50 | 2003 |
Horn fragments of the Halpern-Shoham interval temporal logic D Bresolin, A Kurucz, E Muńoz-Velasco, V Ryzhikov, G Sciavicco, ... ACM Transactions on Computational Logic (TOCL) 18 (3), 1-39, 2017 | 34 | 2017 |
Applying algebraic logic; A general methodology H Andréka, Á Kurucz, I Németi, I Sain Lecture Notes of the Summer School “Algebraic Logic and the Methodology of …, 1994 | 33 | 1994 |
On axiomatising products of Kripke frames A Kurucz The Journal of Symbolic Logic 65 (2), 923-945, 2000 | 29 | 2000 |
Kripke completeness of strictly positive modal logics over meet-semilattices with operators S Kikot, A Kurucz, Y Tanaka, F Wolter, M Zakharyaschev The Journal of Symbolic Logic 84 (2), 533-588, 2019 | 25 | 2019 |
Combining algebraizable logics A Jánossy, A Kurucz, AE Eiben Notre Dame Journal of Formal Logic 37 (2), 366-380, 1996 | 24 | 1996 |
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting C Hampson, A Kurucz ACM Transactions on Computational Logic (TOCL) 16 (3), 1-36, 2015 | 23 | 2015 |
General algebraic logic including algebraic model theory: an overview H Andreka, I Nemeti, I Sain, Á Kurucz Logic Colloquium 92, 1-60, 1992 | 23 | 1992 |
Undecidable varieties of semilattice—ordered semigroups, of Boolean algebras with operators, and logics extending Lambek calculus Á Kurucz, I Németi, I Sain, A Simon Logic Journal of the IGPL 1 (1), 91-98, 1993 | 20 | 1993 |
A Note on Relativised Products of Modal Logics. Á Kurucz, M Zakharyaschev Advances in modal logic 4, 221-242, 2002 | 19 | 2002 |
S 5× S 5× S 5 Lacks the Finite Model Property Á Kurucz Advances In Modal Logic: Volume 3, 321-327, 2002 | 19 | 2002 |