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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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 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.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Logical foundations for modal interpretations of quantum mechanics.Michael Dickson - 1996 - Philosophy of Science 63 (3):329.
The extent of Russell's modal views.Thomas Magnell - 1991 - Erkenntnis 34 (2):171 - 185.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
The Expressive Power of Second-Order Propositional Modal Logic.Michael Kaminski & Michael Tiomkin - 1996 - Notre Dame Journal of Formal Logic 37 (1):35-43.
Expressive power and semantic completeness: Boolean connectives in modal logic.I. L. Humberstone - 1990 - Studia Logica 49 (2):197 - 214.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.
Euclidean hierarchy in modal logic.Johan van Benthem, Guram Bezhanishvili & Mai Gehrke - 2003 - Studia Logica 75 (3):327-344.
Products of 'transitive' modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.
Referential opacity and modal logic.Dagfinn Føllesdal - 1966 - New York: Routledge.
Saul Kripke.Alan Berger (ed.) - 2011 - New York, NY: Cambridge University Press.

Analytics

Added to PP
2010-08-24

Downloads
15 (#884,991)

6 months
1 (#1,428,112)

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