Algebraic semantics for quasi-classical modal logics

DOI10.2307/2273660zbMath0562.03011OpenAlexW1978559879MaRDI QIDQ5187260

Peter Köhler, Willem J. Blok

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273660

zbMATH Keywords

algebraic semanticsfilterKripke framesPost complete logicslattice of quasi-classical modal logicsquasi-normal logicsvariety of filtered modal algebras

Mathematics Subject Classification ID

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

Related Items (10)

Bjarni Jónsson's contributions in algebra ⋮ Abstract modal logics ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Willem Blok and modal logic ⋮ Willem Blok's contribution to abstract algebraic logic ⋮ Protoalgebraic logics ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ On logics with coimplication ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY

Cites Work

• Unnamed Item
• Der Verband der normalen verzweigten Modallogiken
• Pretabular varieties of modal algebras
• Post Completeness and Free Algebras
• Post Completeness and Ultrafilters
• Algebras Whose Congruence Lattices are Distributive.
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Algebraic semantics for quasi-classical modal logics