Completeness for non normal intuitionistic modal logics

DOI10.1285/I15900932V1N2P203MaRDI QIDQ3329438zbMATH OpenOpenAlexFDO

Authors Gisele Fischer Servi

Publication date 1981

Full work available at URL http://siba-ese.unile.it/index.php/notemat/article/view/1677

zbMATH Keywords

completenessnon-normal intuitionistic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Categoricity and completeness of theories (03C35) Intuitionistic mathematics (03F55)

Recommendations

• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• Intuitionistic non-normal modal logics: a general framework
• scientific article; zbMATH DE number 2196587
• scientific article; zbMATH DE number 1303434

Cited in

(11)

• A non-compactness phenomenon in logics with hyperintensional predication
• Interpretations of intuitionist logic in non-normal modal logics
• A uniform tableau method for intuitionistic modal logics. I
• Canonicity for intensional logics without iterative axioms
• scientific article; zbMATH DE number 4135913 (Why is no real title available?)
• scientific article; zbMATH DE number 4087631 (Why is no real title available?)
• scientific article; zbMATH DE number 1215462 (Why is no real title available?)
• scientific article; zbMATH DE number 781275 (Why is no real title available?)
• scientific article; zbMATH DE number 2196587 (Why is no real title available?)
• scientific article; zbMATH DE number 7668097 (Why is no real title available?)
• Intuitionistic non-normal modal logics: a general framework

This page was built for publication: Completeness for non normal intuitionistic modal logics

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