From Intuitionism to Brouwer's Modal Logic

DOI10.18778/0138-0680.2020.22zbMath1477.03053OpenAlexW3092359205MaRDI QIDQ4999458

Zofia Kostrzycka

Publication date: 7 July 2021

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2020.22

zbMATH Keywords

intuitionistic logicKripke framesBrouwer's modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• A modal analog for Glivenko's theorem and its applications
• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: From Intuitionism to Brouwer's Modal Logic