Ágnes Kurucz

According to our database1, Ágnes Kurucz authored at least 41 papers between 1993 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom.
CoRR, 2020

Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.
Ann. Pure Appl. Log., 2020

2019
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators.
J. Symb. Log., 2019

2018
On Strictly Positive Modal Logics with S4.3 Frames.
Proceedings of the Advances in Modal Logic 12, 2018

2017
Horn Fragments of the Halpern-Shoham Interval Temporal Logic.
ACM Trans. Comput. Log., 2017

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

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

Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report).
CoRR, 2016

2015
Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting.
ACM Trans. Comput. Log., 2015

2013
A Note on Axiomatisations of Two-Dimensional Modal Logics.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

One-variable first-order linear temporal logics with counting.
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012
Non-finitely axiomatisable two-dimensional modal logics.
J. Symb. Log., 2012

Finite Frames for K4.3 x S5 Are Decidable.
Proceedings of the Advances in Modal Logic 9, 2012

On Modal Products with the Logic of 'Elsewhere'.
Proceedings of the Advances in Modal Logic 9, 2012

2011
On P/NP Dichotomies for EL Subsumption under Relational Constraints.
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.
Proceedings of the Advances in Modal Logic 8, 2010

On the Complexity of Modal Axiomatisations over Many-dimensional Structures.
Proceedings of the Advances in Modal Logic 8, 2010

2009
Weakly associative relation algebras with projections.
Math. Log. Q., 2009

Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008
Towards a natural language semantics without functors and operands.
J. Log. Lang. Inf., 2008

On axiomatising products of Kripke frames, part II.
Proceedings of the Advances in Modal Logic 7, 2008

2007
Spatial Logic + Temporal Logic = ?.
Proceedings of the Handbook of Spatial Logics, 2007

Combining modal logics.
Proceedings of the Handbook of Modal Logic., 2007

2006
Non-primitive recursive decidability of products of modal logics with expanding domains.
Ann. Pure Appl. Log., 2006

2005
Products of 'transitive' modal logics.
J. Symb. Log., 2005

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.
J. Artif. Intell. Res., 2005

Undecidability of first-order intuitionistic and modal logics with two variables.
Bull. Symb. Log., 2005

Modal Logics for Metric Spaces: Open Problems.
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.
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.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

2002
Preface.
Stud Logica, 2002

On Modal Logics Between K x K x K and S5 x S5 x S5.
J. Symb. Log., 2002

A Note on Relativised Products of Modal Logics.
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.
Stud Logica, 2000

On Axiomatising Products of Kripke Frames.
J. Symb. Log., 2000

Representability of Pairing Relation Algebras Depends on your Ontology.
Fundam. Informaticae, 2000

S5 × S5 × S5 Lacks the Finite Model Property.
Proceedings of the Advances in Modal Logic 3, 2000

1996
Combining Algebraizable Logics.
Notre Dame J. Formal Log., 1996

1995
Decidable and Undecidable Logics with a Binary Modality.
J. Log. Lang. Inf., 1995

1994
Connections Between Axioms of Set Theory and Basic Theorems of Universal Algebra.
J. Symb. Log., 1994

1993
Undecidable Varieties of Semilattice - ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus.
Log. J. IGPL, 1993


  Loading...