Glivenko type theorems for intuitionistic modal logics

DOI10.1023/A:1010577628486zbMath1045.03020OpenAlexW1526233291MaRDI QIDQ5939999

Guram Bezhanishvili

Publication date: 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010577628486

Mathematics Subject Classification ID

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

Related Items (7)

Esakia duals of regular Heyting algebras ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ An approach to Glivenko's theorem in algebraizable logics ⋮ Unnamed Item ⋮ An algebraic study of S5-modal Gödel logic ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics ⋮ On the Blok-Esakia Theorem

This page was built for publication: Glivenko type theorems for intuitionistic modal logics