Translator Disclaimer
Winter 1996 Modal Logics in the Vicinity of S1
Brian F. Chellas, Krister Segerberg
Notre Dame J. Formal Logic 37(1): 1-24 (Winter 1996). DOI: 10.1305/ndjfl/1040067312

Abstract

We define prenormal modal logics and show that S1, S1$^\circ$, S0.9, and S0.9$^\circ$ 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.

Citation

Download Citation

Brian F. Chellas. Krister Segerberg. "Modal Logics in the Vicinity of S1." Notre Dame J. Formal Logic 37 (1) 1 - 24, Winter 1996. https://doi.org/10.1305/ndjfl/1040067312

Information

Published: Winter 1996
First available in Project Euclid: 16 December 2002

zbMATH: 0859.03011
MathSciNet: MR1379545
Digital Object Identifier: 10.1305/ndjfl/1040067312

Subjects:
Primary: 03B45

Rights: Copyright © 1996 University of Notre Dame

JOURNAL ARTICLE
24 PAGES


SHARE
Vol.37 • No. 1 • Winter 1996
Back to Top