On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2

Bulletin of the Section of Logic 46 (3/4) (2017)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

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

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
2018-06-26

Downloads
5 (#1,344,154)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrzej Pietruszczak
Nicolaus Copernicus University

References found in this work

No references found.

Add more references