Publication:4172049
From MaRDI portal
zbMath0391.03026MaRDI QIDQ4172049
Publication date: 1978
03B45: Modal logic (including the logic of norms)
08B05: Equational logic, Mal'tsev conditions
03G25: Other algebras related to logic
08A05: Structure theory of algebraic structures
Related Items
A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\), Intuitionistic diagonalizable algebras, Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI), Fixed point algebras