scientific article; zbMATH DE number 817497

MaRDI QIDQ4854864zbMATH OpenFDO

Authors Hengshan Gao

Publication date 12 December 1995

zbMATH Keywords

algebraic semanticsBarcan formulacompleteness theoremKripke semanticsnested domainsnormal modal logicquantified modal logicrelational semantics

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(10)

• Quantification in some non-normal modal logics
• Modal metatheory for quantified modal logic, with and without the Barcan formulas
• An algebraic generalization of Kripke structures
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• scientific article; zbMATH DE number 4043815 (Why is no real title available?)
• scientific article; zbMATH DE number 4095430 (Why is no real title available?)
• A unified completeness theorem for quantified modal logics
• Barcan Both Ways
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• 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 Q4854864)