Ágnes Kurucz

Publication Activity (10 Years)

Years Active: 1993-2017
Publications (10 Years): 2

Top Topics

Bandit Problems

Decision Procedures

Influence Diagrams

Top Venues

Publications

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