Algebraic semantics of some normal quantified modal systems with the Barcan formula (Q583191)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Publication:583191 |
scientific article; zbMATH DE number 4132128
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Algebraic semantics of some normal quantified modal systems with the Barcan formula |
scientific article; zbMATH DE number 4132128 |
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
0.8868508338928223
0 references
0.7752634882926941
0 references
0.7744383215904236
0 references
