Products of modal logics Part 3: Products of modal and temporal logics

D Gabbay, V Shehtman

Research output: Contribution to journalArticlepeer-review

12 Citations (Scopus)


For pt.2. see Logic Journal of the IGPL, vol. 8, p.165-210 (2000). In this paper we improve the results of part 2 by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in part 1. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property. (8 References).
Original languageEnglish
Pages (from-to)157 - 183
Number of pages27
JournalStudia Logica
Issue number2
Publication statusPublished - 2002

Cite this