Extensions of Makinson's Completeness Theorems in Modal Logic

DOI10.1002/MALQ.19700160303MaRDI QIDQ5594595zbMATH OpenOpenAlexFDO

Authors Richard Sylvan

Publication date 1970

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19700160303

zbMATH Keywords

algebraic logic, model theory

Recommendations

• Effective completeness theorems for modal logic
• scientific article; zbMATH DE number 3845547
• scientific article; zbMATH DE number 1735876
• Kripke completeness revisited
• Conjunctive normal forms and weak modal logics without the axiom of necessity

Cited in

(7)

• Solutions for Porte's conjectures
• Effective completeness theorems for modal logic
• Revisiting McKinsey's `syntactical' construction of modality
• Meeting of the Association for Symbolic Logic, New York, 1974
• First-order indefinite and uniform neighbourhood semantics
• Reductive techniques in proofs of the completeness theorems for the normal bimodal systems
• scientific article; zbMATH DE number 2209840 (Why is no real title available?)

This page was built for publication: Extensions of Makinson's Completeness Theorems in Modal Logic

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