Modalities as interactions between the classical and the intuitionistic logics

zbMATH Open1134.03013MaRDI QIDQ5437776FDOQ5437776

Authors: Michał Walicki 

Publication date: 28 January 2008

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

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)

Cited In (7)

• Connected modal logics
• Intuitionistic logic and modality via topology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)