scientific article; zbMATH DE number 817497

zbMATH Open0829.03009MaRDI QIDQ4854864FDOQ4854864

Authors: Hengshan Gao 

Publication date: 12 December 1995

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

completeness theoremrelational semanticsKripke semanticsalgebraic semanticsquantified modal logicnormal modal logicBarcan formulanested domains

Mathematics Subject Classification ID

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

Cited In (10)

• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• Algebraic semantics of some normal quantified modal systems with the Barcan formula
• An algebraic generalization of Kripke structures
• Barcan Both Ways
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantification in some non-normal modal logics
• A unified completeness theorem for quantified modal logics
• Modal metatheory for quantified modal logic, with and without the Barcan formulas

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)