Willem Blok and modal logic

DOI10.1007/s11225-006-8296-2zbMath1105.03020OpenAlexW1965500826WikidataQ56701247 ScholiaQ56701247MaRDI QIDQ2433092

Frank Wolter, Wolfgang Rautenberg, Michael Zakharyashchev

Publication date: 27 October 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-8296-2

zbMATH Keywords

splittingsmodal logicsmodal algebrassuperintuitionistic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03) Intermediate logics (03B55)

Related Items (3)

Universal algebraic methods for non-classical logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An axiomatization of the modal theory of the veiled recession frame
• Pretabular varieties of modal algebras
• The lattice of varieties of modal algebras is not strongly atomic
• Modal companions of intermediate propositional logics
• A lattice of normal modal logics
• Pretabular extensions of Lewis S4
• Finite-level modal logics
• Tools and techniques in modal logic
• The structure of lattices of subframe logics
• Mathematical modal logic: A view of its evolution
• Willem Blok's contribution to abstract algebraic logic
• The algebra of topology
• On closed elements in closure algebras
• The lattice of modal logics: an algebraic investigation
• Splitting lattices of logics
• Five critical modal systems
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Algebraic semantics for quasi-classical modal logics
• Undecidability of the unification and admissibility problems for modal and description logics
• Algebras Whose Congruence Lattices are Distributive.
• Modal Logics Between S 4 and S 5
• Some relational systems and the associated topological spaces
• Equational Bases and Nonmodular Lattice Varieties
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Willem Blok and modal logic