Modal logics in the vicinity of S1

DOI10.1305/ndjfl/1040067312zbMath0859.03011OpenAlexW2151163617MaRDI QIDQ1924324

Brian F. Chellas, Krister Segerberg

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

zbMATH Keywords

decidabilitydeterminationcombination of relational and neighborhood semanticsCresswell logicsLewis systemsLewis version of a logicnonnormal logicsprenormal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (8)

Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. ⋮ Canonicity for intensional logics without iterative axioms ⋮ NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF ⋮ Geometric modal logic ⋮ A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\) ⋮ On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 ⋮ XIV Latin American Symposium on Mathematical Logic (SLALM) ⋮ A deontic counterpart of Lewis's S1

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

This page was built for publication: Modal logics in the vicinity of S1