Undecidable Varieties of Semilattice - ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus. - Ágnes Kurucz; István Németi; Ildikó Sain; András Simon (Log. J. IGPL, 1993)

Connections Between Axioms of Set Theory and Basic Theorems of Universal Algebra. - Hajnal Andréka; Ágnes Kurucz; István Németi (J. Symb. Log., 1994)

Decidable and Undecidable Logics with a Binary Modality. - Ágnes Kurucz; István Németi; Ildikó Sain; András Simon (J. Log. Lang. Inf., 1995)

Combining Algebraizable Logics. - A. Jánossy; Ágnes Kurucz; A. E. Eiben (Notre Dame J. Formal Log., 1996)

S5 × S5 × S5 Lacks the Finite Model Property. - Ágnes Kurucz (Advances in Modal Logic, 2000)

Representability of Pairing Relation Algebras Depends on your Ontology. - Ágnes Kurucz; István Németi (Fundam. Informaticae, 2000)

On Axiomatising Products of Kripke Frames. - Ágnes Kurucz (J. Symb. Log., 2000)

Arrow Logic and Infinite Counting. - Ágnes Kurucz (Stud Logica, 2000)

A Note on Relativised Products of Modal Logics. - Ágnes Kurucz; Michael Zakharyaschev (Advances in Modal Logic, 2002)

On Modal Logics Between K x K x K and S5 x S5 x S5. - Robin Hirsch; Ian M. Hodkinson; Ágnes Kurucz (J. Symb. Log., 2002)

Preface. - Ágnes Kurucz; Michael Zakharyaschev; Frank Wolter (Stud Logica, 2002)

On the Computational Complexity of Spatio-Temporal Logics. - David Gabelaia; Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (FLAIRS, 2003)

On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. - Ian M. Hodkinson; Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (TIME, 2003)

Modal Logics for Metric Spaces: Open Problems. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (We Will Show Them! (2), 2005)

Undecidability of first-order intuitionistic and modal logics with two variables. - Roman Kontchakov; Agi Kurucz; Michael Zakharyaschev (Bull. Symb. Log., 2005)

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. - David Gabelaia; Roman Kontchakov; Ágnes Kurucz; Frank Wolter; Michael Zakharyaschev (J. Artif. Intell. Res., 2005)

Products of 'transitive' modal logics. - David Gabelaia; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2005)

Non-primitive recursive decidability of products of modal logics with expanding domains. - David Gabelaia; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2006)

Combining modal logics. - Agi Kurucz (Handbook of Modal Logic, 2007)

Spatial Logic + Temporal Logic = ?. - Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Handbook of Spatial Logics, 2007)

On axiomatising products of Kripke frames, part II. - Agi Kurucz (Advances in Modal Logic, 2008)

Towards a natural language semantics without functors and operands. - Miklós Erdélyi-Szabó; László Kálmán; Agi Kurucz (J. Log. Lang. Inf., 2008)

Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property. - Agi Kurucz (FroCoS, 2009)

Weakly associative relation algebras with projections. - Agi Kurucz (Math. Log. Q., 2009)

On the Complexity of Modal Axiomatisations over Many-dimensional Structures. - Agi Kurucz (Advances in Modal Logic, 2010)

Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2010)

On P/NP Dichotomies for EL Subsumption under Relational Constraints. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2011)

On Modal Products with the Logic of 'Elsewhere'. - Christopher Hampson; Agi Kurucz (Advances in Modal Logic, 2012)

Finite Frames for K4.3 x S5 Are Decidable. - Agi Kurucz; Sérgio Marcelino (Advances in Modal Logic, 2012)

Non-finitely axiomatisable two-dimensional modal logics. - Agi Kurucz; Sérgio Marcelino (J. Symb. Log., 2012)

One-variable first-order linear temporal logics with counting. - Christopher Hampson; Agi Kurucz (CSL, 2013)

A Note on Axiomatisations of Two-Dimensional Modal Logics. - Agi Kurucz (ICLA, 2013)

Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting. - Christopher Hampson; Agi Kurucz (ACM Trans. Comput. Log., 2015)

Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). - Davide Bresolin; Agi Kurucz; Emilio Muñoz-Velasco; Vladislav Ryzhikov; Guido Sciavicco; Michael Zakharyaschev (CoRR, 2016)

The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines. - Christopher Hampson; Stanislav Kikot; Ágnes Kurucz (Stud Logica, 2016)

Bimodal Logics with a "Weakly Connected" Component without the Finite Model Property. - Agi Kurucz (Notre Dame J. Formal Log., 2017)

Horn Fragments of the Halpern-Shoham Interval Temporal Logic. - Davide Bresolin; Agi Kurucz; Emilio Muñoz-Velasco; Vladislav Ryzhikov; Guido Sciavicco; Michael Zakharyaschev (ACM Trans. Comput. Log., 2017)

On Strictly Positive Modal Logics with S4.3 Frames. - Stanislav Kikot; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2018)

Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. - Stanislav Kikot; Agi Kurucz; Yoshihito Tanaka; Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2019)

A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. - Olga Gerasimova; Stanislav Kikot; Agi Kurucz; Vladimir V. Podolskii; Michael Zakharyaschev (KR, 2020)

Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. - Christopher Hampson; Stanislav Kikot; Agi Kurucz; Sérgio Marcelino (Ann. Pure Appl. Log., 2020)

Deciding FO-definability of Regular Languages. - Agi Kurucz; Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (RAMiCS, 2021)

Deciding Boundedness of Monadic Sirups. - Stanislav Kikot; Agi Kurucz; Vladimir V. Podolskii; Michael Zakharyaschev (PODS, 2021)

A tetrachotomy of ontology-mediated queries with a covering axiom. - Olga Gerasimova; Stanislav Kikot; Agi Kurucz; Vladimir V. Podolskii; Michael Zakharyaschev (Artif. Intell., 2022)

Definitions and (Uniform) Interpolants in First-Order Modal Logic. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (KR, 2023)

A non-uniform view of Craig interpolation in modal logics with linear frames. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (CoRR, 2023)

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. - Agi Kurucz; Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (J. Artif. Intell. Res., 2023)

The Interpolant Existence Problem for Weak K4 and Difference Logic. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (AiML, 2024)

From Interpolating Formulas to Separating Languages and Back Again. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (CoRR, 2025)