Ágnes Kurucz

发表

Combining Algebraizable Logics

A. E. Eiben, A. Jánossy, Ágnes Kurucz, 1996, Notre Dame J. Formal Log..

Products of ‘transitive” modal logics

Frank Wolter, Michael Zakharyaschev, Ágnes Kurucz, 2005, Journal of Symbolic Logic.

Decidable and undecidable logics with a binary modality

András Simon, Ildikó Sain, Ágnes Kurucz, 1995, J. Log. Lang. Inf..

Towards a natural language semantics without functors and operands

Ágnes Kurucz, Miklós Erdélyi-Szabó, László Kálmán, 2008, J. Log. Lang. Inf..

Non-primitive recursive decidability of products of modal logics with expanding domains

Frank Wolter, Michael Zakharyaschev, Ágnes Kurucz, 2006, Ann. Pure Appl. Log..

Modal Logics for Metric Spaces: Open Problems

Frank Wolter, Michael Zakharyaschev, Ágnes Kurucz, 2005, We Will Show Them!.

Representability of Pairing Relation Algebras Depends on your Ontology

Ágnes Kurucz, István Németi, 2000, Fundam. Informaticae.

Undecidable Varieties of Semilattice - ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus

András Simon, Ildikó Sain, Ágnes Kurucz, 1993, Log. J. IGPL.

Finite Frames for K4.3 x S5 Are Decidable

Ágnes Kurucz, Sérgio Marcelino, Á. Kurucz, 2012, Advances in Modal Logic.

S5 x S5 x S5 Lacks the Finite Model Property.

Ágnes Kurucz, 2000 .

On Strictly Positive Modal Logics with S4.3 Frames

Stanislav Kikot, Frank Wolter, Michael Zakharyaschev, 2018, Advances in Modal Logic.

Spatial Logic + Temporal Logic = ?

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2007, Handbook of Spatial Logics.

One-variable first-order linear temporal logics with counting

Christopher Hampson, Ágnes Kurucz, 2013, CSL.

On axiomatising products of Kripke frames, part II

Ágnes Kurucz, Á. Kurucz, 2008, Advances in Modal Logic.

On Modal Products with the Logic of 'Elsewhere'

Christopher Hampson, Ágnes Kurucz, Á. Kurucz, 2012, Advances in Modal Logic.

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

Michael Zakharyaschev, Roman Kontchakov, Ágnes Kurucz, 2005, Bull. Symb. Log..

On axiomatising products of Kripke frames

Ágnes Kurucz, Á. Kurucz, 2000, Journal of Symbolic Logic.

Frank Wolter, Michael Zakharyaschev, Ágnes Kurucz, 2002, Studia Logica: An International Journal for Symbolic Logic.

KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS

Stanislav Kikot, Frank Wolter, Michael Zakharyaschev, 2017, The Journal of Symbolic Logic.

On P/NP Dichotomies for EL Subsumption under Relational Constraints

Frank Wolter, Michael Zakharyaschev, Ágnes Kurucz, 2011, Description Logics.

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity pdf

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2011, J. Artif. Intell. Res..

A Note on Axiomatisations of Two-Dimensional Modal Logics

Ágnes Kurucz, Á. Kurucz, 2013, ICLA.

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

Stanislav Kikot, Christopher Hampson, Ágnes Kurucz, 2015, Stud Logica.

Non-finitely axiomatisable two-dimensional modal logics

Ágnes Kurucz, Sérgio Marcelino, Á. Kurucz, 2012, The Journal of Symbolic Logic.

On the computational complexity of decidable fragments of first-order linear temporal logics

Frank Wolter, Ian M. Hodkinson, Michael Zakharyaschev, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

On the Computational Complexity of Spatio-Temporal Logics

Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2003, FLAIRS.

Horn Fragments of the Halpern-Shoham Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2016, ACM Trans. Comput. Log..

Weakly associative relation algebras with projections

Ágnes Kurucz, 2009, Math. Log. Q..

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

Ágnes Kurucz, Á. Kurucz, 2015, Notre Dame J. Formal Log..

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

Frank Wolter, Michael Zakharyaschev, Ágnes Kurucz, 2010, Advances in Modal Logic.

On Modal Logics Between K x K x K and S5 x S5 x S5

Ian M. Hodkinson, Robin Hirsch, Ágnes Kurucz, 2002, J. Symb. Log..

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

Christopher Hampson, Ágnes Kurucz, Á. Kurucz, 2014, ACM Trans. Comput. Log..

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

Ágnes Kurucz, Á. Kurucz, 2009, FroCoS.

A Note on Relativised Products of Modal Logics

Michael Zakharyaschev, Ágnes Kurucz, M. Zakharyaschev, 2002, Advances in Modal Logic.

Connections Between Axioms of Set Theory and Basic Theorems of Universal Algebra

Ágnes Kurucz, Hajnal Andréka, István Németi, 1994, J. Symb. Log..

On the Complexity of Modal Axiomatisations over Many-dimensional Structures

Ágnes Kurucz, Á. Kurucz, 2010, Advances in Modal Logic.

Deciding Boundedness of Monadic Sirups

Stanislav Kikot, Michael Zakharyaschev, Vladimir V. Podolskii, 2021, PODS.

ON MODAL LOGICS BETWEEN K×K×K AND S5× S5× S5

Ian M. Hodkinson, Robin Hirsch, Ágnes Kurucz, 2006 .

Representability of Pairing Relation Algebras Representability of Pairing Relation Algebras Depends on our Ontology

Ágnes Kurucz, István Németi, Á. Kurucz, 2000 .

APPLYING ALGEBRAIC LOGIC; A GENERAL METHODOLOGY

Ildikó Sain, Ágnes Kurucz, Hajnal Andréka, 1994 .