Authors
Andrzej Pietruszczak
Nicolaus Copernicus University
Abstract
This is the second, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics can be divided into certain groups. Each such group depends only on which of the following formulas are theses of all logics from this group:,,, ⌜∨☐q⌝, and for any n > 0 a formula ⌜ ∨ ⌝, where has not the atom ‘q’, and and have no common atom. We generalize Pollack’s result from [1], where he proved that all modal logics between S1 and S5 have the same theses which does not involve iterated modalities.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.18778/0138-0680.46.3.4.03
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,700
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

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Collapsing Modalities.Lloyd Humberstone - 2009 - Notre Dame Journal of Formal Logic 50 (2):119-132.
Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.
Toward Model-Theoretic Modal Logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.
Translation Methods for Non-Classical Logics: An Overview.Hans Ohlbach - 1993 - Logic Journal of the IGPL 1 (1):69-89.

Analytics

Added to PP index
2018-06-26

Total views
3 ( #1,300,129 of 2,432,316 )

Recent downloads (6 months)
1 ( #466,190 of 2,432,316 )

How can I increase my downloads?

Downloads

My notes