Algebraic semantics of some normal quantified modal systems with the Barcan formula (Q583191)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic semantics of some normal quantified modal systems with the Barcan formula |
scientific article |
Statements
Algebraic semantics of some normal quantified modal systems with the Barcan formula (English)
0 references
1989
0 references
The authors achieve to prove algebraic completeness theorems for six normal quantified modal systems with the Barcan formula. They deduce the algebraic completeness theorem from Kripke's semantic completeness result by revealing the one-sided connexion from Kripke's semantics to algebraic semantics. The article consists of 4 pages and there are no proofs of the theorems. They may be given elsewhere.
0 references
modal logic
0 references
algebraic completeness theorems
0 references
normal quantified modal systems
0 references
Barcan formula
0 references
algebraic semantics
0 references
