Annals of Pure and Applied Logic

Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2006) Non-primitive recursive decidability of products of modal logics with expanding domains. Annals of Pure and Applied Logic 42 (1-3), pp. 245-268. ISSN 0168-0072.

Journal of Artificial Intelligence Research

Gabelaia, D. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) Combining spatial and temporal logics: expressiveness vs. complexity. Journal of Artificial Intelligence Research 23 , pp. 167-243. ISSN 1076-9757.

The journal of Symbolic Logic

Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) Products of 'transitive' modal logics. The journal of Symbolic Logic 70 (3), pp. 993-1021. ISSN 0022-4812.