Extensions of Makinson's Completeness Theorems in Modal Logic

DOI10.1002/MALQ.19700160303zbMATH Open0197.27702OpenAlexW2040302155MaRDI QIDQ5594595FDOQ5594595

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

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

zbMATH Keywords

algebraic logic, model theory

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
• Title not available (Why is that?)

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)