On modal logics which are conservative over the intuitionistic predicate calculus

zbMATH Open0746.03013MaRDI QIDQ3363754FDOQ3363754

Authors: Pavel Naumov 

Publication date: 1991

Recommendations

• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• Conservative extensions in modal logic
• scientific article; zbMATH DE number 4010486
• The greatest extension of S4 into which intuitionistic logic is embeddable
• A semantic approach to conservativity

zbMATH Keywords

normal modal logicmodal logic S4intuitionistic logic INTQGrzQINTQS4quantificational extensions

Mathematics Subject Classification ID

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

Cited In (5)

• Model-theoretic conservative extension for definitional theories
• Title not available (Why is that?)
• Conservative extensions in modal logic
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• Title not available (Why is that?)

This page was built for publication: On modal logics which are conservative over the intuitionistic predicate calculus

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