scientific article; zbMATH DE number 3554259

zbMath0356.02017MaRDI QIDQ4128789

Robert Goldblatt

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (14)

Topology and duality in modal logic ⋮ Varieties of complex algebras ⋮ The structure of lattices of subframe logics ⋮ Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities ⋮ Duality for modal \(\mu\)-logics ⋮ Kripke semantics for provability logic GLP ⋮ New constants in the superintuitionistic logic L2 ⋮ Duality and the completeness of the modal \(\mu\)-calculus ⋮ A new constant in superintuitionistic logic L3 ⋮ Tableaux for constructive concurrent dynamic logic ⋮ Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness ⋮ A general method for proving decidability of intuitionistic modal logics ⋮ Dummett Logic, Irreflexive Modality and Novikov Completeness ⋮ Constructive modal logics. I

This page was built for publication: