Ágnes Kurucz

Agi Kurucz

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)

Coauthor Index

1	Hajnal Andréka	[2]
2	A. E. Eiben (Ágoston E. Eiben, Guszti Eiben)	[4]
3	Miklós Erdélyi-Szabó	[19]
4	David Gabelaia	[13] [14] [17]
5	Robin Hirsch	[10]
6	Ian M. Hodkinson	[10] [12]
7	A. Jánossy	[4]
8	László Kálmán	[19]
9	Roman Kontchakov	[12] [13] [14] [15] [18]
10	István Németi	[1] [2] [3] [7]
11	Ildikó Sain	[1] [3]
12	András Simon	[1] [3]
13	Frank Wolter	[9] [12] [13] [14] [16] [17] [18]
14	Michael Zakharyaschev	[9] [11] [12] [13] [14] [15] [16] [17] [18]

Colors in the list of coauthors