Superintuitionistic companions of classical modal logics

DOI10.1023/A:1004916107078zbMath0952.03020MaRDI QIDQ1357375

Frank Wolter

Publication date: 11 January 2001

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

zbMATH Keywords

dualitysplittingsuperintuitionistic logicsintuitionistic modal logicslower coverspartitions of lattices of modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (7)

Decidability of order-based modal logics ⋮ The variety of modal weak Gödel algebras ⋮ Structural and universal completeness in algebra and logic ⋮ Normal companions of intuitionistic modal logics ⋮ Simple and subdirectly irreducibles bounded distributive lattices with unary operators ⋮ Standard Gödel modal logics ⋮ On logics with coimplication

This page was built for publication: Superintuitionistic companions of classical modal logics