scientific article
From MaRDI portal
Publication:3208624
zbMath0418.03012MaRDI QIDQ3208624
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25)
Related Items (20)
Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Changing a Semantics: Opportunism or Courage? ⋮ The structure of lattices of subframe logics ⋮ On the lattice of extensions of the modal logics \(KAlt_ n\) ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Universal algebraic methods for non-classical logics ⋮ Pretabular varieties of modal algebras ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Willem Blok and modal logic ⋮ Mathematical modal logic: A view of its evolution ⋮ Strong completeness with respect to finite Kripke models ⋮ Some descending chains of incomplete modal logics ⋮ Even more about the lattice of tense logics ⋮ A splitting logic in NExt(KTB) ⋮ Kripke incomplete logics containing KTB ⋮ Frame based formulas for intermediate logics ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ A discriminator variety of Heyting algebras with involution ⋮ An almost general splitting theorem for modal logic
This page was built for publication:
