Interpretations of intuitionist logic in non-normal modal logics

DOI10.1023/A:1004324522424zbMATH Open0955.03011MaRDI QIDQ1283321FDOQ1283321

Colin Oakes

Publication date: 26 February 2001

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

zbMATH Keywords

intuitionistic logicmodal logicKripke semanticsTarski translation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• Constructivism in mathematics. An introduction. Volume II
• Some relational systems and the associated topological spaces
• What is strict implication?

Cited In (2)

• Title not available (Why is that?)
• Oskar Becker and the modal translation of intuitionistic logic

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

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