Superintuitionistic companions of classical modal logics
From MaRDI portal
Publication:1357375
DOI10.1023/A:1004916107078zbMath0952.03020MaRDI QIDQ1357375
Publication date: 11 January 2001
Published in: Studia Logica (Search for Journal in Brave)
duality; splitting; superintuitionistic logics; intuitionistic modal logics; lower covers; partitions of lattices of modal logics
Related Items
Standard Gödel modal logics, On logics with coimplication, Decidability of order-based modal logics, Simple and subdirectly irreducibles bounded distributive lattices with unary operators