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

zbMATH Open0692.03012MaRDI QIDQ583191FDOQ583191

Hengshan Gao, Jianan Lü

Publication date: 1989

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

Recommendations

• [[:Publication:4854864|Title not available (Why is that?)]]
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• [[:Publication:3781735|Title not available (Why is that?)]]
• 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)