Recent reports and publications of Agi Kurucz

Recent reports

A. Kurucz, F. Wolter and M. Zakharyaschev: The interpolant existence problem for weak K4 and Difference Logic, (submitted), 2024.

A. Kurucz, F. Wolter and M. Zakharyaschev: A non-uniform view of Craig interpolation in modal logics with linear frames, (submitted), 2023.

Journal articles

A. Kurucz, V. Ryzhikov, Y. Savateev and M. Zakharyaschev: Deciding FO-definability of regular languages and ontology-mediated queries in Linear Temporal Logic, Journal of Artificial Intelligence Research, vol. 76 (2023), 645-703.

O. Gerasimova, S. Kikot, A. Kurucz, V. Podolskii and M. Zakharyaschev: A tetrachotomy of ontology-mediated queries with a covering axiom, Artificial Intelligence, vol. 309:103738 (2022).

C. Hampson, S. Kikot, A. Kurucz and S. Marcelino: Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations, Annals of Pure and Applied Logic, vol. 171(5):102786 (2020).

S. Kikot, A. Kurucz, Y. Tanaka, F. Wolter and M. Zakharyaschev: Kripke completeness of strictly positive modal logics over meet-semilattices with operators, Journal of Symbolic Logic, vol. 84 (2019), 533-588.

D. Bresolin, A. Kurucz, E. Muñoz-Velasco, V. Ryzhikov, G. Sciavicco and M. Zakharyaschev: Horn fragments of the Halpern-Shoham interval temporal logic, ACM Transactions on Computational Logic, vol. 18(3) (2017), 22:1-22:39.

A. Kurucz: Bimodal logics with a `weakly connected' component without the finite model property, Notre Dame Journal of Formal Logic, vol. 58 (2017), 287-299.

C. Hampson, S. Kikot and A. Kurucz: The decision problem of modal product logics with a diagonal, and faulty counter machines, Studia Logica, vol. 104 (2016), 455-486.

C. Hampson and A. Kurucz: Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting, ACM Transactions on Computational Logic, vol. 16(3) (2015), 27:1-27:36.

A. Kurucz and S. Marcelino: Non-finitely axiomatisable two-dimensional modal logics, Journal of Symbolic Logic, vol. 77 (2012), 970-986.

A. Kurucz: Weakly associative relation algebras with projections, Mathematical Logic Quarterly, vol. 55 (2009), 138-153.

M. Erdélyi-Szabó, L. Kálmán and A. Kurucz: Towards a natural language semantics without functors and operands, Journal of Logic, Language and Information, vol. 17 (2008), 1-17.

D. Gabelaia, A. Kurucz, F. Wolter and M. Zakharyaschev: Non-primitive recursive decidability of products of modal logics with expanding domains, Annals of Pure and Applied Logic, vol. 142 (2006), 245-268.

R. Kontchakov, A. Kurucz and M. Zakharyaschev: Undecidability of first-order intuitionistic and modal logics with two variables, Bulletin of Symbolic Logic, vol. 11 (2005), 428-438.

D. Gabelaia, A. Kurucz, F. Wolter and M. Zakharyaschev: Products of `transitive' modal logics, Journal of Symbolic Logic, vol. 70 (2005), 993-1021.

D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev: Combining spatial and temporal logics: expressiveness vs. complexity, Journal of Artificial Intelligence Research, vol. 23 (2005), 167-243.

A. Kurucz: Comparing decision problems for various paradigms of algebraic logic, Algebra Universalis, vol. 47 (2002), 409-424.

R. Hirsch, I. Hodkinson and A. Kurucz: On modal logics between KxKxK and S5xS5xS5, Journal of Symbolic Logic, vol. 67 (2002), 221-234.

A. Kurucz and I. Németi: Representability of pairing relation algebras depends on your ontology, Fundamenta Informaticae, vol. 44 (2000), 397-420.

A. Kurucz: Arrow logic and infinite counting, Studia Logica, vol. 65 (2000), 199-222.

A. Kurucz: On axiomatising products of Kripke frames, Journal of Symbolic Logic, vol. 65 (2000), 923-945.

A. Jánossy, A. Kurucz and A.E. Eiben: Combining algebraizable logics, Notre Dame Journal of Formal Logic, vol. 37 (1996), 366-380.

A. Kurucz, I. Németi, I. Sain and A. Simon: Decidable and undecidable modal logics with a binary modality, Journal of Logic, Language and Information, vol. 4 (1995), 191-206.

H. Andréka, A. Kurucz and I. Németi: Connections between axioms of set theory and basic theorems of universal algebra, Journal of Symbolic Logic, vol. 53 (1994), 912-923.

A. Kurucz, I. Németi, I. Sain and A. Simon: Undecidable verieties of semilattice-ordered semigroups, of Boolean algebras with operators, and logics extending Lambek calculus, Bulletin of the IGPL, vol. 1 (1993), 91-98.

Books

R. Goré, B. Kooi and A. Kurucz (editors): Advances in Modal Logic, Volume 10. College Publications, 2014. ISBN 978-1-84890-151-3

D.M. Gabbay, A. Kurucz, F. Wolter and M. Zakharyaschev: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics, Volume 148. Elsevier, 2003. ISBN 978-0-444-50826-3

Contributions to books and collections

A. Kurucz: Representable cylindric algebras and many-dimensional modal logics, in: Cylindric-like Algebras and Algebraic Logic. (eds.: H. Andréka, M. Ferenczi, I. Németi), Bolyai Society Mathematical Studies, Volume 22, Springer (2013), 185-203. ISBN 978-3-642-35024-5

A. Kurucz: Combining modal logics, in: Handbook of Modal Logic (eds.: J. van Benthem, P.Blackburn, F. Wolter), Studies in Logic and Practical Reasoning, Volume 3. Elsevier (2007), 869-924. ISBN 978-0-444-51690-9

R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev: Spatial logic + temporal logic = ?, in: Handbook of Spatial Logics (eds.: M. Aiello, I. Pratt-Hartmann, J. van Benthem), Springer (2007), 497-564. ISBN 978-1-4020-5586-7

A. Kurucz, F. Wolter and M. Zakharyaschev: Modal logics for metric spaces: open problems, in: We Will Show Them: Essays in Honour of Dov Gabbay, Volume 2 (eds.: S. Artemov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb, and J.Woods), College Publications (2005), 193-208.

H. Andréka, A. Kurucz, I. Németi, I. Sain and A. Simon: Causes and remedies for undecidability in arrow logics and in multi-modal logics, in: Arrow logics and multi-modal logics (eds.: M. Marx, M. Masuch and L. Pólos), Studies in Logic, Language and Information, CSLI Publications, Stanford (1996), 63-99. ISBN 1-57586-024-4

H. Andréka, I. Németi, I. Sain and A. Kurucz: General algebraic logic including algebraic model theory: an overview, in: Logic Colloquium'92 (eds.: L. Csirmaz, D.M.Gabbay and M. de Rijke), Studies in Logic, Language and Information, CSLI Publications, Stanford (1995), 1-60. ISBN 1881526984

Papers in conference proceedings

A. Kurucz, F. Wolter and M. Zakharyaschev: Definitions and (uniform) interpolants in first-order modal logic, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), (eds.: P. Marquis, T.C. Son and G. Kern-Isberner), (2023), pp.417-428.

S. Kikot, A. Kurucz, V. Podolskii and M. Zakharyaschev: Deciding boundedness of monadic sirups, in: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2021), (2021) pp.370-387.

A. Kurucz, V. Ryzhikov, Y. Savateev and M. Zakharyaschev: Deciding FO-definability of regular languages, in: Proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2021) (eds.: U.Fahrenberg, M.Gehrke, L.Santocanale, M.Winter), Lecture Notes in Computer Science, vol.13027, Springer (2021), pp.241-257.

O. Gerasimova, S. Kikot, A. Kurucz, V. Podolskii and M. Zakharyaschev: A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom, in: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), (eds.: D.Calvanese, E.Erdem and M.Thielscher), (2020), pp.402-412.

S. Kikot, A. Kurucz, F. Wolter and M. Zakharyaschev: On strictly positive modal logics with S4.3 frames, in: Advances in Modal Logic, Volume 12 (eds.: G.Bezhanishvili, G.D'Agostino, G.Metcalfe and T.Studer), College Publications (2018), 399-418. ISBN 978-1-84890-255-8

S. Kikot, A. Kurucz, F. Wolter and M. Zakharyaschev: Altn in a Strictly Positive Context, in: Proceedings of the 8th International Conference on Topology, Algebra and Categories in Logic (TACL-2017), July 2017, Prague, Czechia.

C. Hampson and A. Kurucz: One-variable first-order linear temporal logics with counting, in: Proceedings of the 22nd EACSL Annual Conference on Computer Science Logic (CSL'13), (ed.: S. Ronchi Della Rocca), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2013), pp.348-362.

A. Kurucz: A note on axiomatisations of two-dimensional modal logics, in: Proceedings of the 5th Indian Conference on Logic and its Applications (ICLA 2013), (ed.: K.Lodaya), Lecture Notes in Computer Science, vol.7750, Springer (2013), pp.27-33.

C. Hampson and A. Kurucz: On modal products with the logic of `elsewhere', in: Advances in Modal Logic, Volume 9 (eds.: T.Bolander, T.Braüner, S.Ghilardi and L.Moss), College Publications (2012), 339-347. ISBN 978-1-84890-068-4

A. Kurucz and S. Marcelino: Finite frames for K4.3xS5 are decidable, in: Advances in Modal Logic, Volume 9 (eds.: T.Bolander, T.Braüner, S.Ghilardi and L.Moss), College Publications (2012), 411-436. ISBN 978-1-84890-068-4

A. Kurucz, F. Wolter and M. Zakharyaschev: On P/NP dichotomies for EL subsumption under relational constraints, in: Proceedings of the 14th International Workshop on Description Logics (DL-2011), CEUR Workshop Proceedings, vol.745, (2011).

A. Kurucz, Y. Tanaka, F. Wolter and M. Zakharyaschev: Conservativity of Boolean algebras with operators over semilattices with operators, in: Proceedings of the 5th International Conference on Topology, Algebra and Categories in Logic (TACL-2011), July 2011, Marseilles, France.

A. Kurucz: On the complexity of modal axiomatisations over many-dimensional structures, in: Advances in Modal Logic, Volume 8 (eds.: L.Beklemishev, V.Goranko and V.Shehtman), College Publications (2010), 241-254. ISBN 978-1-84890-013-4

A. Kurucz, F. Wolter and M. Zakharyaschev: Islands of tractability for relational constraints: towards dichotomy results for the description logic EL, in: Advances in Modal Logic, Volume 8 (eds.: L.Beklemishev, V.Goranko and V.Shehtman), College Publications (2010), 255-274. ISBN 978-1-84890-013-4

A. Kurucz: Products of modal logics with diagonal constant lacking the finite model property, in: Frontiers of Combining Systems, 7th International Symposium FroCoS 2009 (eds.: S.Ghilardi and R.Sebastiani), Lecture Notes in Artificial Intelligence, vol.5749, Springer (2009), pp.279-286.

A. Kurucz: On axiomatising products of Kripke frames, part II, in: Advances in Modal Logic, Volume 7 (eds.: C.Areces and R.Goldblatt), College Publications (2008), 219-230. ISBN 978-1-904987-68-0

D. Gabelaia, A. Kurucz, F. Wolter and M. Zakharyaschev: Products of `transitive' modal logics with constant and expanding domains, in: Proceedings of the 38th MLG Meeting, October 2004, Gamagori, Japan.

D. Gabelaia, A. Kurucz and M. Zakharyaschev: Products of `transitive' modal logics without the (abstract) finite model property, in: Proceedings of AiML 2004, September 2004, Manchester, U.K.

L. Kálmán, A. Kurucz and M. Erdélyi-Szabó: Propositional logic for natural language semantics, in: Proceedings of the 8th Symposium on Logic and Language, August 2004, Debrecen, Hungary.

I. Hodkinson, R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev: On the computational complexity of decidable fragments of first-order linear temporal logics, in: Proceedings of TIME-ICTL 2003 (eds.: M. Reynolds and A. Sattar), IEEE Computer Society, 2003, pp.91-98.

D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev: On the computational complexity of spatio-temporal logics, in: Proceedings of the 16th International Conference FLAIRS 2003 (eds.: I. Russell and S. Haller), AAAI Press, 2003, pp.460-464.

A. Kurucz and M. Zakharyaschev: A note on relativised products of modal logics, in: Advances in Modal Logic, Volume 4 (eds.: P. Balbiani, N.-Y. Suzuki, F.Wolter, M.Zakharyaschev), King's College Publications (2003), 221-242. ISBN 0-9543006-1-0

A. Kurucz: S5xS5xS5 lacks the finite model property, in: Advances in Modal Logic, Volume 3 (eds.: F.Wolter, H.Wansing, M.de Rijke, M.Zakharyaschev), World Scientific (2002), 321-327. ISBN 981-238-179-1

A. Kurucz, F. Wolter and M. Zakharyaschev: Many-dimensional logical systems, in: Lecture Notes of the 12th ESSLLI, August 2000, Birmingham, U.K.

A.E. Eiben, A. Jánossy and A. Kurucz: Combining logics via combining algebraic theories, in: Lecture Notes of the 6th ESSLLI, August 1994, Copenhagen, Denmark, pp.37-59.

H. Andréka, A. Kurucz, I. Németi, I. Sain and A. Simon: Exactly which logics touched by the dynamic trend are decidable, in: Proceedings of the 9th Amsterdam Colloquium, December 1993, ILLC, University of Amsterdam, The Netherlands (1994), pp.67-85.

A. Kurucz, M. Manzano and I. Sain: How to increase applicability of a mathematical concept of higher order logic to real higher order phenomena, in: Proceedings of the Applied Logic Conference Logic at Work', December 1992, CCSOM, University of Amsterdam, The Netherlands.

V. Gyuris, A. Kurucz, I. Németi and I. Sain: Associativity implies undecidability in arrow logics, in: Proceedings of the Applied Logic Conference Logic at Work', December 1992, CCSOM, University of Amsterdam, The Netherlands.

A.E. Eiben, A. Jánossy and A. Kurucz: Combining logics, in: Proceedings of the Applied Logic Conference Logic at Work', December 1992, CCSOM, University of Amsterdam, The Netherlands; modified version as Technical Report of Free University Amsterdam, Department of Mathematics and Computer Science, No. IR-319 (1992).

PhD dissertation

A. Kurucz: Decision problems in algebraic logic, PhD Dissertation, Hungarian Academy of Sciences (1997).

Technical reports

A. Kurucz: S5xS5xS5 lacks the finite model property: another proof (2001).

A. Kurucz: A guide to the proof of the Keisler-Shelah theorem, Preprint, Mathematical Institute of the Hungarian Academy of Sciences (1996).

H. Andréka, A. Kurucz, I. Németi and I. Sain: Applying algebraic logic; a general methodology, Preprint, Mathematical Institute of the Hungarian Academy of Sciences (1994).

A. Kurucz: The equational undecidability of some classes of Boolean algebras with operators, Preprint, Mathematical Institute of the Hungarian Academy of Sciences (1993).

A Simon and A. Kurucz: The equational theory of Euclidean residuated Boolean monoids is undecidable, Preprint, Mathematical Institute of the Hungarian Academy of Sciences (1993).

M. Erdélyi-Szabó and A. Kurucz: A programming theory for concurrent programs, Technical Report, SZÁMALK Applied Logic Laboratory, Budapest (1990).

A. Kurucz and M. Szõts: The problem of negation in a general frame of logic programming, Technical Report, SZÁMALK Applied Logic Laboratory, Budapest (1989).

A. Kurucz and M. Szõts: A general first-order paradigm of logic programming, Technical Report, SZÁMALK Applied Logic Laboratory, Budapest (1988).

A. Kurucz and M. Szõts: A proof theoretical foundation of logic programming, Technical Report, SZÁMALK Applied Logic Laboratory, Budapest (1987).

A. Kurucz and M. Szõts: Generating logic programming languages, Technical Report, SZÁMALK Applied Logic Laboratory, Budapest (1986).

Up Home