Recent reports and publications of Agi Kurucz

Recent reports

D. Bresolin, A. Kurucz, E. Muñoz-Velasco, V. Ryzhikov, G. Sciavicco and M. Zakharyaschev: Horn fragments of the Halpern-Shoham interval temporal logic (submitted)

A. Kurucz: Bimodal logics with a `weakly connected' component without the finite model property, Notre Dame Journal of Formal Logic (to appear)

Journal articles

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, Abstract

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, Abstract

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

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

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.

A. Kurucz and S. Marcelino: Finite frames for K4.3xS5 are decidable, 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.

C. Hampson and A. Kurucz: On modal products with the logic of `elsewhere', 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: On the complexity of modal axiomatisations over many-dimensional structures, 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, 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), Abstract.

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