On modal logics which are conservative over the intuitionistic predicate calculus

MaRDI QIDQ3363754zbMATH OpenFDO

Authors Pavel Naumov

Publication date 1991

zbMATH Keywords

normal modal logicmodal logic S4intuitionistic logic INTQGrzQINTQS4quantificational extensions

Mathematics Subject Classification ID

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

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

Cited in

(7)

• Model-theoretic conservative extension for definitional theories
• scientific article; zbMATH DE number 4010486 (Why is no real title available?)
• Conservative extensions in modal logic
• Failure of the Blok-Esakia theorem in the monadic setting
• Conservative translations of four-valued logics in modal logic
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• scientific article; zbMATH DE number 4132124 (Why is no real title available?)

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)