A. Kurucz and S. Marcelino:
Non-finitely
axiomatisable two-dimensional modal logics (accepted at the Journal of Symbolic Logic).
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, Springer (to appear).
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
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: 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
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.
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
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
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.
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: 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), 295-302.
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: Decision problems in algebraic logic, PhD Dissertation, Hungarian Academy of Sciences (1997).
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.
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.
A. Kurucz and M. Zakharyaschev: A note on relativised products of modal logics, in: `Proceedings of AiML 2002', October 2002, Toulouse, France, pp.339-356.
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).
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).