Agi Kurucz
Agi Kurucz
Reader in Logic and Computation, King's College London
Dirección de correo verificada de kcl.ac.uk - Página principal
Título
Citado por
Citado por
Año
Many-dimensional modal logics: theory and applications
DM Gabbay
7892003
15 combining modal logics
A Kurucz
Studies in Logic and Practical Reasoning 3, 869-924, 2007
1242007
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
942005
Spatial logic+ temporal logic=?
R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev
Handbook of spatial logics, 497-564, 2007
822007
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
602002
Products of ‘transitive” modal logics
D Gabelaia, A Kurucz, F Wolter, M Zakharyaschev
The Journal of Symbolic Logic 70 (3), 993-1021, 2005
552005
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
552003
Many-dimensional modal logics: Theory and applications
A Kurucz, F Wolter, M Zakharyaschev, DM Gabbay
Elsevier, 2003
512003
On the Computational Complexity of Spatio-Temporal Logics.
D Gabelaia, R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev
FLAIRS Conference, 460-464, 2003
482003
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
422006
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
282005
On axiomatising products of Kripke frames
Á Kurucz
The Journal of Symbolic Logic 65 (2), 923-945, 2000
282000
Applying algebraic logic; A general methodology
H Andréka, A Kurucz, I Németi, I Sain
Lecture Notes of the Summer School “Algebraic Logic and the Methodology of …, 1994
281994
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
272017
Combining algebraizable logics
A Jánossy, Á Kurucz, ÁE Eiben
Notre Dame Journal of Formal Logic 37 (2), 366-380, 1996
261996
A Note on Relativised Products of Modal Logics.
Á Kurucz, M Zakharyaschev
Advances in modal logic 4, 221-242, 2002
212002
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
21*1993
General algebraic logic including algebraic model theory: an overview
H Andreka, I Nemeti, I Sain, Á Kurucz
Logic Colloquium 92, 1-60, 1995
201995
S 5× S 5× S 5 Lacks the Finite Model Property
Á Kurucz
Advances In Modal Logic: Volume 3, 321-327, 2002
182002
Decision problems in algebraic logic
A Kurucz
Candidate’s Dissertation, Hungarian Academy of Sciences, Budapest, 1997
181997
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20