Ágnes Kurucz
According to our database^{1},
Ágnes Kurucz
authored at least 40 papers
between 1993 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2019
Kripke Completeness of strictly positive Modal Logics over MeetSemilattices with operators.
J. Symb. Log., 2019
Nonfinitely axiomatisable modal product logics with infinite canonical axiomatisations.
CoRR, 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 HalpernShoham Interval Temporal Logic.
ACM Trans. Comput. Log., 2017
Bimodal Logics with a "Weakly Connected" Component without the Finite Model Property.
Notre Dame Journal of Formal Logic, 2017
2016
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines.
Studia Logica, 2016
Horn Fragments of the HalpernShoham Interval Temporal Logic (Technical Report).
CoRR, 2016
2015
Undecidable Propositional Bimodal Logics and OneVariable FirstOrder Linear Temporal Logics with Counting.
ACM Trans. Comput. Log., 2015
2013
A Note on Axiomatisations of TwoDimensional Modal Logics.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013
Onevariable firstorder linear temporal logics with counting.
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
2012
Nonfinitely axiomatisable twodimensional 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 Manydimensional 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.
Journal of Logic, Language and Information, 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
Nonprimitive 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 firstorder intuitionistic and modal logics with two variables.
Bulletin of Symbolic Logic, 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
On the Computational Complexity of SpatioTemporal Logics.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003
2002
Preface.
Studia 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.
Studia Logica, 2000
On Axiomatising Products of Kripke Frames.
J. Symb. Log., 2000
Representability of Pairing Relation Algebras Depends on your Ontology.
Fundam. Inform., 2000
S5 × S5 × S5 Lacks the Finite Model Property.
Proceedings of the Advances in Modal Logic 3, 2000
1996
Combining Algebraizable Logics.
Notre Dame Journal of Formal Logic, 1996
1995
Decidable and Undecidable Logics with a Binary Modality.
Journal of Logic, Language and Information, 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.
Logic Journal of the IGPL, 1993