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

Andrzej Pietruszczak
Nicolaus Copernicus University
Pietruszczak :163–171, 2009. proved that the normal logics \, \ ), \ are determined by suitable classes of simplified Kripke frames of the form \, where \. 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 \. Furthermore, a modal logic is a normal extension of \ ; \; \) if and only if it is determined by a set consisting of finite simplified frames ; such frames with \ or \; such frames with \). Secondly, for all normal extensions of \, \, \ and \, 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 :319–328, 1981. ). Thirdly, we show that these extensions are determined by certain classes of finite simplified frames generated by finite subsets of the set \ 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 \.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-019-09849-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,949
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Decidability of Normal K5 Logics.Michael C. Nagle - 1981 - Journal of Symbolic Logic 46 (2):319-328.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

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 index

Total views
18 ( #576,738 of 60,913 )

Recent downloads (6 months)
2 ( #282,957 of 60,913 )

How can I increase my downloads?


My notes