Ágnes Kurucz

According to our database, Ágnes Kurucz authored at least 48 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

The interpolant existence problem for weak K4 and difference logic.

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

CoRR, 2024

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

A non-uniform view of Craig interpolation in modal logics with linear frames.

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

CoRR, 2023

Definitions and (Uniform) Interpolants in First-Order Modal Logic.

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

A tetrachotomy of ontology-mediated queries with a covering axiom.

Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev

Artif. Intell., 2022

2021

Deciding Boundedness of Monadic Sirups.

Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

Deciding FO-definability of Regular Languages.

Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

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

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

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019

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

2018

On Strictly Positive Modal Logics with S4.3 Frames.

Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Proceedings of the Advances in Modal Logic 12, 2018

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

Bimodal Logics with a "Weakly Connected" Component without the Finite Model Property.

Agi Kurucz

Notre Dame J. Formal Log., 2017

2016

The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines.

Christopher Hampson, Stanislav Kikot, Ágnes Kurucz

Stud Logica, 2016

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

2015

Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting.

Christopher Hampson, Agi Kurucz

ACM Trans. Comput. Log., 2015

2013

A Note on Axiomatisations of Two-Dimensional Modal Logics.

Agi Kurucz

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

One-variable first-order linear temporal logics with counting.

Christopher Hampson, Agi Kurucz

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

Non-finitely axiomatisable two-dimensional modal logics.

Agi Kurucz, Sérgio Marcelino

J. Symb. Log., 2012

Finite Frames for K4.3 x S5 Are Decidable.

Agi Kurucz, Sérgio Marcelino

Proceedings of the Advances in Modal Logic 9, 2012

On Modal Products with the Logic of 'Elsewhere'.

Christopher Hampson, Agi Kurucz

Proceedings of the Advances in Modal Logic 9, 2012

2011

On P/NP Dichotomies for EL Subsumption under Relational Constraints.

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL.

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Proceedings of the Advances in Modal Logic 8, 2010

On the Complexity of Modal Axiomatisations over Many-dimensional Structures.

Agi Kurucz

Proceedings of the Advances in Modal Logic 8, 2010

2009

Weakly associative relation algebras with projections.

Agi Kurucz

Math. Log. Q., 2009

Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property.

Agi Kurucz

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

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

On axiomatising products of Kripke frames, part II.

Agi Kurucz

Proceedings of the Advances in Modal Logic 7, 2008

2007

Spatial Logic + Temporal Logic = ?.

Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Proceedings of the Handbook of Spatial Logics, 2007

Combining modal logics.

Agi Kurucz

Proceedings of the Handbook of Modal Logic., 2007

2006

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

2005

Products of 'transitive' modal logics.

David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev

J. 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

Undecidability of first-order intuitionistic and modal logics with two variables.

Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev

Bull. Symb. Log., 2005

Modal Logics for Metric Spaces: Open Problems.

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

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

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

On the Computational Complexity of Spatio-Temporal Logics.

David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

2002

Preface.

Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter

Stud Logica, 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

A Note on Relativised Products of Modal Logics.

Ágnes Kurucz, Michael Zakharyaschev

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2000

Arrow Logic and Infinite Counting.

Ágnes Kurucz

Stud Logica, 2000

On Axiomatising Products of Kripke Frames.

Ágnes Kurucz

J. Symb. Log., 2000

Representability of Pairing Relation Algebras Depends on your Ontology.

Ágnes Kurucz, István Németi

Fundam. Informaticae, 2000

S5 × S5 × S5 Lacks the Finite Model Property.

Ágnes Kurucz

Proceedings of the Advances in Modal Logic 3, 2000

1996

Combining Algebraizable Logics.

A. Jánossy, Ágnes Kurucz, A. E. Eiben

Notre Dame J. Formal Log., 1996

1995

Decidable and Undecidable Logics with a Binary Modality.

Ágnes Kurucz, István Németi, Ildikó Sain, András Simon

J. Log. Lang. Inf., 1995

1994

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

1993

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