Algebraic semantics of some normal quantified modal systems with the Barcan formula

MaRDI QIDQ583191zbMATH OpenFDO

Authors Jianan Lü, Hengshan Gao

Publication date 1989

Published in Chinese Science Bulletin (Search for Journal in Brave)

zbMATH Keywords

algebraic completeness theoremsalgebraic semanticsBarcan formulamodal logicnormal quantified modal systems

Mathematics Subject Classification ID

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

Review text

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.

Recommendations

• scientific article; zbMATH DE number 817497
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• scientific article; zbMATH DE number 4043815
• Incompleteness and the Barcan formula
• Quantification in some non-normal modal logics

Cited in

(4)

• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• scientific article; zbMATH DE number 4043815 (Why is no real title available?)
• scientific article; zbMATH DE number 4095430 (Why is no real title available?)
• scientific article; zbMATH DE number 817497 (Why is no real title available?)

This page was built for publication: Algebraic semantics of some normal quantified modal systems with the Barcan formula

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q583191)