Expressive power and semantic completeness: Boolean connectives in modal logic

DOI10.1007/BF00935599MaRDI QIDQ2276946zbMATH OpenFDO

Authors I. L. Humberstone

Publication date 1990

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00935599

zbMATH Keywords

bimodal logicdense framesfunctional framesinteraction between Boolean and modal connectivesKripke framesemantic completeness

Mathematics Subject Classification ID

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

Review text

This paper examines the roles playes by (Boolean) negation and disjunction in obtaining completeness results for certain modal logics. The author illustrates with three examples the interaction between Boolean and modal connectives by looking at the role of truth-functional reasoning in the provision of completeness proofs for normal modal logics. First example: functional frames and negation; second example: dense frames and disjunction; third example: a normal bimodal logic without disjunction.

Recommendations

• scientific article; zbMATH DE number 1499093
• scientific article; zbMATH DE number 2211928
• Logical connectives for constructive modal logic
• Conjunctive normal forms and weak modal logics without the axiom of necessity
• Modal Boolean connexive logics: semantics and tableau approach

Cites work

• A warning about the choice of primitive operators in modal logic
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3771571 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 6296807 (Why is no real title available?)
• scientific article; zbMATH DE number 3399177 (Why is no real title available?)
• Negation‐Free Modal Logics
• On the Logic of “To‐morrow”¹
• Operational semantics for positive R
• Semantic analysis of tense logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Semantical investigations in Heyting's intuitionistic logic

Cited in

(6)

• A perspective on modal sequent logic
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• Definability and canonicity for Boolean logic with a binary relation
• scientific article; zbMATH DE number 2211928 (Why is no real title available?)
• An intriguing logic with two implicational connectives
• Expressive power and incompleteness of propositional logics

This page was built for publication: Expressive power and semantic completeness: Boolean connectives in modal logic

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