## Products of Modal Logics, Part 1 (1998)

by
Dov M. Gabbay
,
Valentin B. Shehtman

Venue: | LOGIC JOURNAL OF THE IGPL |

Citations: | 36 - 1 self |

### BibTeX

@ARTICLE{Gabbay98productsof,

author = {Dov M. Gabbay and Valentin B. Shehtman},

title = {Products of Modal Logics, Part 1},

journal = {LOGIC JOURNAL OF THE IGPL},

year = {1998},

volume = {6},

number = {1},

pages = {6--1}

}

### Years of Citing Articles

### OpenURL

### 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.