Expressive power and semantic completeness: Boolean connectives in modal logic (Q2276946)

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.