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

zbMATH Open0692.03012MaRDI QIDQ583191FDOQ583191

Authors: Jianan Lü, Hengshan Gao 

Publication date: 1989

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

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

zbMATH Keywords

modal logicalgebraic semanticsBarcan formulaalgebraic completeness theoremsnormal quantified modal systems

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)