Expressive power and semantic completeness: Boolean connectives in modal logic

DOI10.1007/BF00935599zbMath0724.03016MaRDI QIDQ2276946

I. L. Humberstone

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Kripke framebimodal logicsemantic completenessfunctional framesdense framesinteraction between Boolean and modal connectives

Mathematics Subject Classification ID

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

Related Items (3)

For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ A perspective on modal sequent logic ⋮ An intriguing logic with two implicational connectives

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Operational semantics for positive R
• Semantical investigations in Heyting's intuitionistic logic
• A warning about the choice of primitive operators in modal logic
• Negation‐Free Modal Logics
• On the Logic of “To‐morrow”¹
• Semantic analysis of tense logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

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