Modal Logics in the Vicinity of S

&
Notre Dame Journal of Formal Logic 37 (1):1-24 (1996)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1040067312

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,596

External links

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

Through your library

My notes

Similar books and articles

A Deontic Counterpart of Lewis's S1.Kam Sing Leung & R. E. Jennings - 2005 - Notre Dame Journal of Formal Logic 46 (2):217-230.
A Deontic Counterpart Of Lewis's S1.R. E. Jennings & Kam Leung - 2005 - Notre Dame Journal of Formal Logic 46 (2):217-230.
Remarks on the semantics of non-normal modal logics.Peter K. Schotch - 1984 - Topoi 3 (1):85-90.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
S1 ø s0.9.Roderic A. Girle - 1975 - Notre Dame Journal of Formal Logic 16:339.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Some admissible rules in nonnormal modal systems.Timothy Williamson - 1993 - Notre Dame Journal of Formal Logic 34 (3):378-400.
Decision procedures for Lewis system S1 and related modal systems.Anjan Shukla - 1970 - Notre Dame Journal of Formal Logic 11 (2):141-180.
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
Errata: ``Decision procedures for Lewis system $S1$ and related modal systems''.Anjan Shukla - 1973 - Notre Dame Journal of Formal Logic 14 (4):584-584.

Analytics

Added to PP
2010-08-24

Downloads
50 (#397,992)

6 months
4 (#1,165,876)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krister Segerberg
Uppsala University

Citations of this work

Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 257--276.

View all 17 citations / Add more citations

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 completeness of $S1$ and some related systems.Max J. Cresswell - 1972 - Notre Dame Journal of Formal Logic 13 (4):485-496.

View all 12 references / Add more references