Modal Logics in the Vicinity of S

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


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



    Upload a copy of this work     Papers currently archived: 92,283

External links

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

Through your library


Added to PP

45 (#355,506)

6 months
5 (#648,018)

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 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