Ágnes Kurucz
Affiliations: King's College London, UK
According to our database^{1},
Ágnes Kurucz
authored at least 43 papers
between 1993 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on zbmath.org

on orcid.org
On csauthors.net:
Bibliography
2021
Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMODSIGACTSIGAI Symposium on Principles of Database Systems, 2021
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
2020
Nonfinitely axiomatisable modal product logics with infinite canonical axiomatisations.
Ann. Pure Appl. Log., 2020
A Data Complexity and Rewritability Tetrachotomy of OntologyMediated Queries with a Covering Axiom.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
2019
Kripke Completeness of strictly positive Modal Logics over MeetSemilattices with operators.
J. Symb. Log., 2019
2018
Proceedings of the Advances in Modal Logic 12, 2018
2017
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
CoRR, 2016
2015
Undecidable Propositional Bimodal Logics and OneVariable FirstOrder Linear Temporal Logics with Counting.
ACM Trans. Comput. Log., 2015
2013
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
2012
J. Symb. Log., 2012
Proceedings of the Advances in Modal Logic 9, 2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
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
Proceedings of the Advances in Modal Logic 8, 2010
2009
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
J. Log. Lang. Inf., 2008
Proceedings of the Advances in Modal Logic 7, 2008
2007
Proceedings of the Handbook of Spatial Logics, 2007
Proceedings of the Handbook of Modal Logic., 2007
2006
Nonprimitive recursive decidability of products of modal logics with expanding domains.
Ann. Pure Appl. Log., 2006
2005
J. Symb. Log., 2005
J. Artif. Intell. Res., 2005
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 FirstOrder Linear Temporal Logics.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIMEICTL 2003), 2003
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003
2002
Stud Logica, 2002
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
Stud Logica, 2000
J. Symb. Log., 2000
Fundam. Informaticae, 2000
Proceedings of the Advances in Modal Logic 3, 2000
1996
Notre Dame J. Formal Log., 1996
1995
J. Log. Lang. Inf., 1995
1994
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