Expressive power and semantic completeness: Boolean connectives in modal logic (Q2276946)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4193648
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Expressive power and semantic completeness: Boolean connectives in modal logic |
scientific article; zbMATH DE number 4193648 |
Statements
Expressive power and semantic completeness: Boolean connectives in modal logic (English)
0 references
1990
0 references
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.
0 references
Kripke frame
0 references
semantic completeness
0 references
interaction between Boolean and modal connectives
0 references
functional frames
0 references
dense frames
0 references
bimodal logic
0 references
0.7713455557823181
0 references
0.7585121393203735
0 references
0.7556105852127075
0 references
