Modalities as interactions between the classical and the intuitionistic logics

MaRDI QIDQ5437776zbMATH OpenFDO

Authors Michał Walicki

Publication date 28 January 2008

zbMATH Keywords

Boolean algebrasHeyting algebrasintuitionistic logicsmodal logicstopological algebras

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) 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

(8)

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

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)