A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\)
From MaRDI portal
Publication:1134143
DOI10.1007/BF00405387zbMath0423.03014MaRDI QIDQ1134143
Publication date: 1979
Published in: Studia Logica (Search for Journal in Brave)
relational semantics; algebraic semantics; intuitionistic diagonalizable algebras; propositional modal calculus on an intuitionistic base
Related Items
Constructive Modalities with Provability Smack, Models for normal intuitionistic modal logics, Fixed point algebras
Cites Work