scientific article; zbMATH DE number 4135914

MaRDI QIDQ3469083zbMATH OpenFDO

Authors Hengshan Gao

Publication date 1989

zbMATH Keywords

decidabilityHeyting intuitionistic logic ICJohanson minimal logic MCmodal extensionsmodal logicnumber of modalitiespositive logic PCpositive logic with semi-negation NC

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• On the Finite Model Property of Intuitionistic Modal Logics over MIPC
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• scientific article; zbMATH DE number 1377706
• scientific article; zbMATH DE number 1735874
• Gentzen sequent calculi for some intuitionistic modal logics

Cited in

(16)

• Modal logics with the MacIntosh rule
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• On logics having diagnostic formulas relative to minimal calculus
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• A Modal Extension of Weak Generalisation Predicate Logic
• scientific article; zbMATH DE number 5295715 (Why is no real title available?)
• scientific article; zbMATH DE number 5316399 (Why is no real title available?)
• A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
• scientific article; zbMATH DE number 1735874 (Why is no real title available?)
• scientific article; zbMATH DE number 1377706 (Why is no real title available?)
• On the Finite Model Property of Intuitionistic Modal Logics over MIPC
• scientific article; zbMATH DE number 6287589 (Why is no real title available?)
• scientific article; zbMATH DE number 6290307 (Why is no real title available?)
• Note on extending congruential modal logics
• The variety of modal weak Gödel algebras
• Weakly expressive models for Hoare 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 Q3469083)