Agi Kurucz

49 papers A* 3B 9C 2Misc 1Journal 28Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic.
Log. Methods Comput. Sci.
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2025 J jnl
From Interpolating Formulas to Separating Languages and Back Again.
CoRR
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2024 B conf
The Interpolant Existence Problem for Weak K4 and Difference Logic.
AiML
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2024 J jnl
The interpolant existence problem for weak K4 and difference logic.
CoRR
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2023 J jnl
A non-uniform view of Craig interpolation in modal logics with linear frames.
CoRR
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2023 J jnl
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic.
J. Artif. Intell. Res.
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2023 A* conf
Definitions and (Uniform) Interpolants in First-Order Modal Logic.
KR
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2023 J jnl
Definitions and (Uniform) Interpolants in First-Order Modal Logic.
CoRR
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2022 J jnl
A tetrachotomy of ontology-mediated queries with a covering axiom.
Artif. Intell.
Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
2022 J jnl
Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic.
CoRR
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021 A* conf
Deciding Boundedness of Monadic Sirups.
PODS
Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
2021 C conf
Deciding FO-definability of Regular Languages.
RAMiCS
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021 J jnl
Deciding FO-definability of Regular Languages.
CoRR
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021 J jnl
Deciding boundedness of monadic sirups.
CoRR
Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
2020 A* conf
A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom.
KR
Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
2020 J jnl
A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom.
CoRR
Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
2020 J jnl
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.
Ann. Pure Appl. Log.
Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino
2019 J jnl
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators.
J. Symb. Log.
Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
2019 J jnl
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.
CoRR
Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino
2018 B conf
On Strictly Positive Modal Logics with S4.3 Frames.
Advances in Modal Logic
Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2017 J jnl
Bimodal Logics with a "Weakly Connected" Component without the Finite Model Property.
Notre Dame J. Formal Log.
Agi Kurucz
2017 J jnl
Horn Fragments of the Halpern-Shoham Interval Temporal Logic.
ACM Trans. Comput. Log.
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
2016 J jnl
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report).
CoRR
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
2015 J jnl
Bimodal logics with a 'weakly connected' component without the finite model property.
CoRR
Agi Kurucz
2015 J jnl
The decision problem of modal product logics with a diagonal, and faulty counter machines.
CoRR
Christopher Hampson, Stanislav Kikot, Agi Kurucz
2015 J jnl
Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting.
ACM Trans. Comput. Log.
Christopher Hampson, Agi Kurucz
2014 B ed.
Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014
Advances in Modal Logic
Rajeev Goré, Barteld P. Kooi, Agi Kurucz
2014 J jnl
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting.
CoRR
Christopher Hampson, Agi Kurucz
2013 — conf
A Note on Axiomatisations of Two-Dimensional Modal Logics.
ICLA
Agi Kurucz
2013 B conf
One-variable first-order linear temporal logics with counting.
CSL
Christopher Hampson, Agi Kurucz
2012 B conf
Finite Frames for K4.3 x S5 Are Decidable.
Advances in Modal Logic
Agi Kurucz, Sérgio Marcelino
2012 J jnl
Non-finitely axiomatisable two-dimensional modal logics.
J. Symb. Log.
Agi Kurucz, Sérgio Marcelino
2012 B conf
On Modal Products with the Logic of 'Elsewhere'.
Advances in Modal Logic
Christopher Hampson, Agi Kurucz
2011 J jnl
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
CoRR
David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2011 — conf
On P/NP Dichotomies for EL Subsumption under Relational Constraints.
Description Logics
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2010 B conf
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL.
Advances in Modal Logic
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2010 B conf
On the Complexity of Modal Axiomatisations over Many-dimensional Structures.
Advances in Modal Logic
Agi Kurucz
2009 — conf
Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property.
FroCoS
Agi Kurucz
2009 J jnl
Weakly associative relation algebras with projections.
Math. Log. Q.
Agi Kurucz
2008 B conf
On axiomatising products of Kripke frames, part II.
Advances in Modal Logic
Agi Kurucz
2008 J jnl
Towards a natural language semantics without functors and operands.
J. Log. Lang. Inf.
Miklós Erdélyi-Szabó, László Kálmán, Agi Kurucz
2007 — ch.
Combining modal logics.
Handbook of Modal Logic
Agi Kurucz
2007 — ch.
Spatial Logic + Temporal Logic = ?.
Handbook of Spatial Logics
Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2006 J jnl
Non-primitive recursive decidability of products of modal logics with expanding domains.
Ann. Pure Appl. Log.
David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2005 — conf
Modal Logics for Metric Spaces: Open Problems.
We Will Show Them! (2)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2005 J jnl
Products of 'transitive' modal logics.
J. Symb. Log.
David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2005 J jnl
Undecidability of first-order intuitionistic and modal logics with two variables.
Bull. Symb. Log.
Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev
2003 C conf
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.
TIME
Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2003 Misc conf
On the Computational Complexity of Spatio-Temporal Logics.
FLAIRS
David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev