The Modal Logic of Cluster-Decomposable Kripke Interpretations

&
Notre Dame Journal of Formal Logic 48 (4):511-520 (2007)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1193667708

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

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

Through your library

My notes

Similar books and articles

Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster.Tatsuya Shimura - 2000 - Studia Logica 65 (2):237-247.
Decomposable orthologics.Barbara Jeffcott - 1975 - Notre Dame Journal of Formal Logic 16 (3):329-338.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.Natasha Alechina, Valeria de Paiva & Eike Ritter - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 35-52.
Decomposable collections of sets.Barry Burd - 1984 - Notre Dame Journal of Formal Logic 25 (1):17-26.
Modal interpretations of three-valued logics. II.Michael J. Duffy - 1979 - Notre Dame Journal of Formal Logic 20 (3):658-673.
Saul Kripke: A Portrait of the Modal Logician as a Young Man.Yale Weiss & Romina Birman - 2024 - In Yale Weiss & Romina Birman (eds.), Saul Kripke on Modal Logic. Cham: Springer. pp. 7-21.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Geometric Modal Logic.Brice Halimi - 2023 - Notre Dame Journal of Formal Logic 64 (3):377-406.

Analytics

Added to PP
2010-08-24

Downloads
26 (#860,649)

6 months
10 (#427,773)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references