Simplified Kripke-Style Semantics for Some Normal Modal Logics

Studia Logica 108 (3):451-476 (2020)
  Copy   BIBTEX


Pietruszczak (Bull Sect Log 38(3/4):163–171, 2009) proved that the normal logics K45 , KB4 (=KB5), KD45 are determined by suitable classes of simplified Kripke frames of the form ⟨W,A⟩ , where A⊆W. In this paper, we extend this result. Firstly, we show that a modal logic is determined by a class composed of simplified frames if and only if it is a normal extension of K45. Furthermore, a modal logic is a normal extension of K45 (resp. KD45; KB4; S5) if and only if it is determined by a set consisting of finite simplified frames (resp. such frames with A≠∅; such frames with A=W or A=∅; such frames with A=W). Secondly, for all normal extensions of K45, KB4, KD45 and S5, in particular for extensions obtained by adding the so-called “verum” axiom, Segerberg’s formulas and/or their T-versions, we prove certain versions of Nagle’s Fact (J Symbol Log 46(2):319–328, 1981) (which concerned normal extensions of K5). Thirdly, we show that these extensions are determined by certain classes of finite simplified frames generated by finite subsets of the set N of natural numbers. In the case of extensions with Segerberg’s formulas and/or their T-versions these classes are generated by certain finite subsets of N.



    Upload a copy of this work     Papers currently archived: 76,168

External links

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

Through your library

Similar books and articles

The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Some Normal Extensions of K4.3.Ming Xu - 2013 - Studia Logica 101 (3):583-599.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
Barwise's information frames and modal logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Models for relevant modal logics.André Fuhrmann - 1990 - Studia Logica 49 (4):501 - 514.
Simplified Kripke style semantics for modal logics K45, KB4 and KD45.Andrzej Pietruszczak - 2009 - Bulletin of the Section of Logic 38 (3/4):163-171.


Added to PP

21 (#542,876)

6 months
1 (#448,551)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Mateusz Klonowski
Nicolaus Copernicus University
Andrzej Pietruszczak
Nicolaus Copernicus University
Yaroslav Petrukhin
Moscow State University

Citations of this work

What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.

Add more citations