scientific article; zbMATH DE number 4043815

MaRDI QIDQ3781735zbMATH OpenFDO

Authors Hengshan Gao

Publication date 1987

zbMATH Keywords

algebraic semanticsKripke semanticsquantified modal logicquantified S5

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 94918
• Algebraic semantics of some normal quantified modal systems with the Barcan formula
• scientific article; zbMATH DE number 817497
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• An algebraic generalization of Kripke structures

Cited in

(9)

• An algebraic study of the logic \textbf{S5'(BL)}
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• Algebraic semantics for a modal logic close to S1
• An algebraic generalization of Kripke structures
• scientific article; zbMATH DE number 3910367 (Why is no real title available?)
• scientific article; zbMATH DE number 4066844 (Why is no real title available?)
• scientific article; zbMATH DE number 94918 (Why is no real title available?)
• scientific article; zbMATH DE number 817497 (Why is no real title available?)
• Algebraic semantics of some normal quantified modal systems with the Barcan formula

This page was built for publication:

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