G

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.