scientific article; zbMATH DE number 3650525

MaRDI QIDQ3208624zbMATH OpenFDO

Authors W. J. Blok

Publication date 1978

zbMATH Keywords

modal logicsdegree of incompletenessvarieties of modal algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Logical aspects of lattices and related structures (03G10)

Cited in

(20)

• Frame based formulas for intermediate logics
• Kripke incomplete logics containing KTB
• In memory of Willem Johannes Blok 1947-2003
• Willem Blok and modal logic
• The structure of lattices of subframe logics
• A splitting logic in NExt(KTB)
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• An almost general splitting theorem for modal logic
• Mathematical modal logic: A view of its evolution
• Strong completeness with respect to finite Kripke models
• Algebraic modal correspondence: Sahlqvist and beyond
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Some descending chains of incomplete modal logics
• Pretabular varieties of modal algebras
• A discriminator variety of Heyting algebras with involution
• Even more about the lattice of tense logics
• Changing a Semantics: Opportunism or Courage?
• Universal algebraic methods for non-classical logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3208624)