Interpretations of intuitionist logic in non-normal modal logics

DOI10.1023/A:1004324522424zbMath0955.03011MaRDI QIDQ1283321

Colin Oakes

Publication date: 26 February 2001

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modal logicKripke semanticsintuitionistic logicTarski translation

Mathematics Subject Classification ID

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

Related Items (1)

Oskar Becker and the modal translation of intuitionistic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume II
• What is strict implication?
• Some relational systems and the associated topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Interpretations of intuitionist logic in non-normal modal logics