Modalities as interactions between the classical and the intuitionistic logics

MaRDI QIDQ5437776zbMATH OpenFDO

Authors Michał Walicki

Publication date 28 January 2008

zbMATH Keywords

modal logicstopological algebrasHeyting algebrasBoolean algebrasintuitionistic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25)

Recommendations

• Modality and possibility in some intuitionistic modal logics
• scientific article; zbMATH DE number 3957057
• scientific article; zbMATH DE number 51606
• On an intuitionistic modal logic
• Models for stronger normal intuitionistic modal logics

Cited in

(7)

• Connected modal logics
• Intuitionistic logic and modality via topology
• scientific article; zbMATH DE number 3957057 (Why is no real title available?)
• scientific article; zbMATH DE number 3896902 (Why is no real title available?)
• scientific article; zbMATH DE number 3880661 (Why is no real title available?)
• Topological models of epistemic set theory
• Modality and possibility in some intuitionistic modal logics

This page was built for publication: Modalities as interactions between the classical and the intuitionistic logics

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