Follow
Agi Kurucz
Agi Kurucz
Reader in Logic and Computation, King's College London
Verified email at kcl.ac.uk - Homepage
Title
Cited by
Cited by
Year
Many-dimensional modal logics: theory and applications
A Kurucz, F Wolter, M Zakharyaschev, DM Gabbay
Elsevier, 2003
9572003
15 combining modal logics
A Kurucz
Studies in Logic and Practical Reasoning 3, 869-924, 2007
1382007
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
1062005
Spatial logic+ temporal logic=?
R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev
Handbook of spatial logics, 497-564, 2007
992007
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
742002
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
652003
Products of ‘transitive” modal logics
D Gabelaia, A Kurucz, F Wolter, M Zakharyaschev
The Journal of Symbolic Logic 70 (3), 993-1021, 2005
632005
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
542006
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
532005
On the Computational Complexity of Spatio-Temporal Logics.
D Gabelaia, R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev
FLAIRS 3, 460-464, 2003
502003
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
342017
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
331994
On axiomatising products of Kripke frames
A Kurucz
The Journal of Symbolic Logic 65 (2), 923-945, 2000
292000
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
252019
Combining algebraizable logics
A Jánossy, A Kurucz, AE Eiben
Notre Dame Journal of Formal Logic 37 (2), 366-380, 1996
241996
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
232015
General algebraic logic including algebraic model theory: an overview
H Andreka, I Nemeti, I Sain, Á Kurucz
Logic Colloquium 92, 1-60, 1992
231992
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
201993
A Note on Relativised Products of Modal Logics.
Á Kurucz, M Zakharyaschev
Advances in modal logic 4, 221-242, 2002
192002
S 5× S 5× S 5 Lacks the Finite Model Property
Á Kurucz
Advances In Modal Logic: Volume 3, 321-327, 2002
192002
The system can't perform the operation now. Try again later.
Articles 1–20