Publication:4128789
From MaRDI portal
zbMath0356.02017MaRDI QIDQ4128789
Publication date: 1977
03B45: Modal logic (including the logic of norms)
Related Items
Kripke semantics for provability logic GLP, Duality and the completeness of the modal \(\mu\)-calculus, Constructive modal logics. I, Topology and duality in modal logic, Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities, Duality for modal \(\mu\)-logics, The structure of lattices of subframe logics, Tableaux for constructive concurrent dynamic logic, A general method for proving decidability of intuitionistic modal logics, Varieties of complex algebras