scientific article; zbMATH DE number 2058485

zbMATH Open1037.03012MaRDI QIDQ4455089FDOQ4455089

Authors: Hengshan Gao 

Publication date: 16 March 2004

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

Recommendations

• A strong completeness theorem in intuitionistic quantified modal logic
• On the Finite Model Property of Intuitionistic Modal Logics over MIPC
• Models for normal intuitionistic modal logics
• scientific article; zbMATH DE number 1377706
• Glivenko type theorems for intuitionistic modal logics

zbMATH Keywords

soundness theoremintuitionistic quantified modal logiccompletely modalized formulae

Mathematics Subject Classification ID

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

Cited In (1)

• A strong completeness theorem in intuitionistic quantified modal logic

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 Q4455089)