| Many-dimensional modal logics: theory and applications A Kurucz, F Wolter, M Zakharyaschev, DM Gabbay Elsevier, 2003 | 933 | 2003 |
| 15 combining modal logics A Kurucz Studies in Logic and Practical Reasoning 3, 869-924, 2007 | 134 | 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 | 103 | 2005 |
| Spatial logic+ temporal logic=? R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev Handbook of spatial logics, 497-564, 2007 | 95 | 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 | 73 | 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 | 63 | 2003 |
| Products of ‘transitive” modal logics D Gabelaia, A Kurucz, F Wolter, M Zakharyaschev The Journal of Symbolic Logic 70 (3), 993-1021, 2005 | 59 | 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 |
| 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 | 49 | 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 | 47 | 2005 |
| 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 | 32 | 1994 |
| On axiomatising products of Kripke frames A Kurucz The Journal of Symbolic Logic 65 (2), 923-945, 2000 | 29 | 2000 |
| 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 | 25 | 1993 |
| Combining algebraizable logics A Jánossy, A Kurucz, AE Eiben Notre Dame Journal of Formal Logic 37 (2), 366-380, 1996 | 24 | 1996 |
| 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 | 23 | 2019 |
| General algebraic logic including algebraic model theory: an overview H Andreka, I Nemeti, I Sain, Á Kurucz Logic Colloquium 92, 1-60, 1992 | 22 | 1992 |
| 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 |
| 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 | 18 | 2015 |
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
