Ágnes Kurucz

14 papers B 2Journal 12
YearRankTypeTitle / Venue / Authors
2017 J jnl
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators.
CoRR
Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
2016 J jnl
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines.
Stud Logica
Christopher Hampson, Stanislav Kikot, Ágnes Kurucz
2005 J jnl
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.
J. Artif. Intell. Res.
David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
2002 B conf
A Note on Relativised Products of Modal Logics.
Advances in Modal Logic
Ágnes Kurucz, Michael Zakharyaschev
2002 J jnl
On Modal Logics Between K x K x K and S5 x S5 x S5.
J. Symb. Log.
Robin Hirsch, Ian M. Hodkinson, Ágnes Kurucz
2002 J jnl
Preface.
Stud Logica
Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter
2000 J jnl
Arrow Logic and Infinite Counting.
Stud Logica
Ágnes Kurucz
2000 J jnl
On Axiomatising Products of Kripke Frames.
J. Symb. Log.
Ágnes Kurucz
2000 J jnl
Representability of Pairing Relation Algebras Depends on your Ontology.
Fundam. Informaticae
Ágnes Kurucz, István Németi
2000 B conf
S5 × S5 × S5 Lacks the Finite Model Property.
Advances in Modal Logic
Ágnes Kurucz
1996 J jnl
Combining Algebraizable Logics.
Notre Dame J. Formal Log.
A. Jánossy, Ágnes Kurucz, A. E. Eiben
1995 J jnl
Decidable and Undecidable Logics with a Binary Modality.
J. Log. Lang. Inf.
Ágnes Kurucz, István Németi, Ildikó Sain, András Simon
1994 J jnl
Connections Between Axioms of Set Theory and Basic Theorems of Universal Algebra.
J. Symb. Log.
Hajnal Andréka, Ágnes Kurucz, István Németi
1993 J jnl
Undecidable Varieties of Semilattice - ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus.
Log. J. IGPL
Ágnes Kurucz, István Németi, Ildikó Sain, András Simon