The modal logic of cluster-decomposable Kripke interpretations. (English) Zbl 1145.03010

Tiomkin, Michael; Kaminski, Michael

Notre Dame J. Formal Logic 48, No. 4, 511-520 (2007).

The authors introduce the class of so-called cluster-decomposable Kripke models. They study the corresponding modal logic, C, which is related to systems describing knowledge. Two alternative axiomatizations of C are given in the paper. Moreover, independence of the proposed axioms is proved, modalities in C are classified, and the connection between C and S4.2 is examined.

Reviewer: Bernhard Heinemann (Hagen)

MSC:

03B45	Modal logic (including the logic of norms)
03B42	Logics of knowledge and belief (including belief change)

Keywords:

modal logic; cluster-decomposable Kripke models; axiomatization