Open Access
2007 The Modal Logic of Cluster-Decomposable Kripke Interpretations
Michael Kaminski, Michael Tiomkin
Notre Dame J. Formal Logic 48(4): 511-520 (2007). DOI: 10.1305/ndjfl/1193667708

Abstract

We deal with the modal logic of cluster-decomposable Kripke interpretations, present an axiomatization, and prove some additional results regarding this logic.

Citation

Download Citation

Michael Kaminski. Michael Tiomkin. "The Modal Logic of Cluster-Decomposable Kripke Interpretations." Notre Dame J. Formal Logic 48 (4) 511 - 520, 2007. https://doi.org/10.1305/ndjfl/1193667708

Information

Published: 2007
First available in Project Euclid: 29 October 2007

zbMATH: 1145.03010
MathSciNet: MR2357525
Digital Object Identifier: 10.1305/ndjfl/1193667708

Subjects:
Primary: 03B42 , 03B45

Keywords: cluster-decomposable Kripke interpretations , modal logic

Rights: Copyright © 2007 University of Notre Dame

Vol.48 • No. 4 • 2007
Back to Top