A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\)

DOI10.1007/BF00405387zbMath0423.03014MaRDI QIDQ1134143

Aldo Ursini

Publication date: 1979

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

zbMATH Keywords

relational semanticsalgebraic semanticsintuitionistic diagonalizable algebraspropositional modal calculus on an intuitionistic base

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (4)

Models for normal intuitionistic modal logics ⋮ Sequent calculi for intuitionistic Gödel-Löb logic ⋮ Fixed point algebras ⋮ Constructive Modalities with Provability Smack

Cites Work

• Unnamed Item
• Unnamed Item
• Intuitionistic diagonalizable algebras
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Solution of a problem of Leon Henkin

This page was built for publication: A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\)