Products of modal logics, part 1

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

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

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

Through your library

Analytics

Added to PP
2015-02-04

Downloads
46 (#355,212)

6 months
18 (#152,799)

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