Products of modal logics, part 1

Logic Journal of the IGPL 6 (1):73-146 (1998)
  Copy   BIBTEX


The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It proves results on axiomatisability, the finite model property and decidability for product logics, by applying a rather elaborated modal logic technique: p-morphisms, the finite depth method, normal forms, filtrations. Applications to first order predicate logics are considered too. The introduction and the conclusion contain a discussion of many related results and open problems in the area



    Upload a copy of this work     Papers currently archived: 94,623

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

47 (#335,188)

6 months
17 (#204,834)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Valentin Shehtman
Moscow State University
Dov Gabbay
Hebrew University of Jerusalem

References found in this work

No references found.

Add more references