scientific article; zbMATH DE number 3650525
From MaRDI portal
Publication:3208624
zbMATH Open0418.03012MaRDI QIDQ3208624FDOQ3208624
Authors: W. J. Blok 
Publication date: 1978
Title of this publication is not available (Why is that?)
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
- In memory of Willem Johannes Blok 1947-2003
- Willem Blok and modal logic
- Kripke incomplete logics containing KTB
- 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
- Kripke completeness of strictly positive modal logics over meet-semilattices with operators
- Algebraic modal correspondence: Sahlqvist and beyond
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Strong completeness with respect to finite Kripke models
- 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
- Universal algebraic methods for non-classical logics
- Changing a Semantics: Opportunism or Courage?
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)
