Non-primitive recursive decidability of products of modal logics with expanding domains

David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev. Non-primitive recursive decidability of products of modal logics with expanding domains. Annals of Pure and Applied Logic, 142(1-3):245-268, 2006. [doi]

Abstract

Abstract is missing.