Modal Logics in the Vicinity of S

Abstract

We define prenormal modal logics and show that S1, S1, S0.9, and S0.9 are Lewis versions of certain prenormal logics, determination and decidability for which are immediate. At the end we characterize Cresswell logics and ponder C. I. Lewis's idea of strict implication in S1

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

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

Through your library

Analytics

Added to PP
2010-08-24

Downloads
37 (#311,587)

6 months
1 (#386,499)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krister Segerberg
Uppsala University

References found in this work

New Foundations for Lewis Modal Systems.E. J. Lemmon - 1957 - Journal of Symbolic Logic 22 (2):176-186.
Intensional Logics Without Interative Axioms.David K. Lewis - 1974 - Journal of Philosophical Logic 3 (4):457-466.
New Foundations for Lewis Modal Systems.E. J. Lemmon - 1958 - Journal of Symbolic Logic 23 (3):346-347.
The Interpretation of Some Lewis Systems of Modal Logic.M. J. Cresswell - 1967 - Australasian Journal of Philosophy 45 (2):198 – 206.
The Interpretation of Some Lewis Systems of Modal Logic.M. J. Cresswell - 1972 - Journal of Symbolic Logic 37 (2):417-418.

View all 12 references / Add more references