Search the dblp DataBase

Publications of Author

1. Agi Kurucz, Frank Wolter, Michael Zakharyaschev
   Modal Logics for Metric Spaces: Open Problems. [Citation Graph (0, 0)][DBLP]
   We Will Show Them! (2), 2005, pp:193-108 [Conf]
   
2. David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
   On the Computational Complexity of Spatio-Temporal Logics. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 2003, pp:460-464 [Conf]
   
3. Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
   On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. [Citation Graph (0, 0)][DBLP]
   TIME, 2003, pp:91-98 [Conf]
   
4. David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
   Non-primitive recursive decidability of products of modal logics with expanding domains. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2006, v:142, n:1-3, pp:245-268 [Journal]
   
5. Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev
   Undecidability of first-order intuitionistic and modal logics with two variables. [Citation Graph (0, 0)][DBLP]
   Bulletin of Symbolic Logic, 2005, v:11, n:3, pp:428-0 [Journal]
   
6. 
   On axiomatising products of Kripke frames, part II. [Citation Graph (, )][DBLP]
   
   
7. 
   Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property. [Citation Graph (, )][DBLP]