Modal logics in the vicinity of S1
From MaRDI portal
Publication:1924324
DOI10.1305/ndjfl/1040067312zbMath0859.03011MaRDI QIDQ1924324
Krister Segerberg, Brian F. Chellas
Publication date: 7 April 1997
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1040067312
decidability; determination; combination of relational and neighborhood semantics; Cresswell logics; Lewis systems; Lewis version of a logic; nonnormal logics; prenormal logics
03B45: Modal logic (including the logic of norms)
Related Items
A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\), Canonicity for intensional logics without iterative axioms, A deontic counterpart of Lewis's S1, XIV Latin American Symposium on Mathematical Logic (SLALM)
Cites Work
- Intensional logics without iterative axioms
- Canonicity for intensional logics without iterative axioms
- Decision procedures for Lewis' system S1 and related modal systems
- S1 not equal SO.9
- New foundations for Lewis modal systems
- A reduction in number of the postulates for C. I. Lewis’ system of strict implication
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item