Ágnes Kurucz

Agi Kurucz

	2009
21		Agi Kurucz: Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property. FroCos 2009: 279-286
	2008
20		Agi Kurucz: On axiomatising products of Kripke frames, part II. Advances in Modal Logic 2008: 219-230
19		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		Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564
	2006
17		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		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		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		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		Á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