2008 |
20 | EE | Agi Kurucz:
On axiomatising products of Kripke frames, part II.
Advances in Modal Logic 2008: 219-230 |
19 | EE | Miklós Erdélyi-Szabó,
László Kálmán,
Agi Kurucz:
Towards a natural language semantics without functors and operands.
Journal of Logic, Language and Information 17(1): 1-17 (2008) |
2007 |
18 | EE | Roman Kontchakov,
Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
Spatial Logic + Temporal Logic = ?.
Handbook of Spatial Logics 2007: 497-564 |
2006 |
17 | EE | David Gabelaia,
Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
Non-primitive recursive decidability of products of modal logics with expanding domains.
Ann. Pure Appl. Logic 142(1-3): 245-268 (2006) |
2005 |
16 | | Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
Modal Logics for Metric Spaces: Open Problems.
We Will Show Them! (2) 2005: 193-108 |
15 | EE | Roman Kontchakov,
Agi Kurucz,
Michael Zakharyaschev:
Undecidability of first-order intuitionistic and modal logics with two variables.
Bulletin of Symbolic Logic 11(3): 428- (2005) |
14 | EE | David Gabelaia,
Roman Kontchakov,
Ágnes Kurucz,
Frank Wolter,
Michael Zakharyaschev:
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.
J. Artif. Intell. Res. (JAIR) 23: 167-243 (2005) |
2003 |
13 | | David Gabelaia,
Roman Kontchakov,
Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
On the Computational Complexity of Spatio-Temporal Logics.
FLAIRS Conference 2003: 460-464 |
12 | EE | Ian M. Hodkinson,
Roman Kontchakov,
Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.
TIME 2003: 91-98 |
2002 |
11 | | Ágnes Kurucz,
Michael Zakharyaschev:
A Note on Relativised Products of Modal Logics.
Advances in Modal Logic 2002: 221-242 |
10 | | 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): 221-234 (2002) |
9 | | Ágnes Kurucz,
Michael Zakharyaschev,
Frank Wolter:
Preface.
Studia Logica 72(2): 145-146 (2002) |
2000 |
8 | | Ágnes Kurucz:
S5 x S5 x S5 Lacks the Finite Model Property.
Advances in Modal Logic 2000: 321-327 |
7 | | Ágnes Kurucz,
István Németi:
Representability of Pairing Relation Algebras Depends on your Ontology.
Fundam. Inform. 44(4): 397-420 (2000) |
6 | | Ágnes Kurucz:
On Axiomatising Products of Kripke Frames.
J. Symb. Log. 65(2): 923-945 (2000) |
5 | | Ágnes Kurucz:
Arrow Logic and Infinite Counting.
Studia Logica 65(2): 199-222 (2000) |
1996 |
4 | | A. Jánossy,
Ágnes Kurucz,
A. E. Eiben:
Combining Algebraizable Logics.
Notre Dame Journal of Formal Logic 37(2): 366-380 (1996) |
1995 |
3 | | Ágnes Kurucz,
István Németi,
Ildikó Sain,
András Simon:
Decidable and Undecidable Logics with a Binary Modality.
Journal of Logic, Language and Information 4(3): 191-206 (1995) |
1994 |
2 | | 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): 912-923 (1994) |
1993 |
1 | EE | Á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.
Logic Journal of the IGPL 1(1): 91-98 (1993) |