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