Kripke completeness revisited

MaRDI QIDQ3101107zbMATH OpenFDO

Authors Sara Negri

Publication date 22 November 2011

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3845547
• scientific article; zbMATH DE number 970630
• Kripke semantics for modal substructural logics
• Mostly Meyer modal models
• scientific article; zbMATH DE number 3869303

Cited in

(22)

• Simpler completeness proofs for modal logics with intersection
• Games for hybrid logic. From semantic games to analytic calculi
• Modular sequent calculi for classical modal logics
• A henkin-style completeness proof for the modal logic S5
• Wittgenstein completeness
• scientific article; zbMATH DE number 4014676 (Why is no real title available?)
• Labeled sequent calculus for justification logics
• scientific article; zbMATH DE number 3845547 (Why is no real title available?)
• scientific article; zbMATH DE number 4064960 (Why is no real title available?)
• Does the deduction theorem fail for modal logic?
• scientific article; zbMATH DE number 1252392 (Why is no real title available?)
• Revisiting McKinsey's `syntactical' construction of modality
• Meaning in use
• `Rolling down the river': Saul Kripke and the course of modal logic
• scientific article; zbMATH DE number 5046360 (Why is no real title available?)
• Extensions of Makinson's Completeness Theorems in Modal Logic
• scientific article; zbMATH DE number 970630 (Why is no real title available?)
• Reasoning about collectively accepted group beliefs
• A Boolean-algebraic approach to completeness for normal modal predicate logics
• Games for hybrid logic from semantic games to analytic calculi
• Geometric theories in inquisitive modal logic
• Kripke incomplete logics containing KTB

This page was built for publication: Kripke completeness revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3101107)