Algebraic semantics for quasi-classical modal logics

DOI10.2307/2273660MaRDI QIDQ5187260zbMATH OpenOpenAlexFDO

Authors Peter Köhler, W. 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 frameslattice of quasi-classical modal logicsPost complete 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)

Recommendations

• scientific article; zbMATH DE number 3878899
• Algebraizable logics
• scientific article; zbMATH DE number 5046779
• Protoalgebraic logics
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

Cites work

• Algebras Whose Congruence Lattices are Distributive.
• Der Verband der normalen verzweigten Modallogiken
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• Post Completeness and Free Algebras
• Post Completeness and Ultrafilters
• Pretabular varieties of modal algebras
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(23)

• On logics with coimplication
• Bjarni Jónsson's contributions in algebra
• Abstract modal logics
• Chang's modal operators in algebraic logic
• Algebraic semantics for quasi-Nelson logic
• In memory of Willem Johannes Blok 1947-2003
• Willem Blok and modal logic
• Willem Blok's contribution to abstract algebraic logic
• Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
• scientific article; zbMATH DE number 3878899 (Why is no real title available?)
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• scientific article; zbMATH DE number 4095430 (Why is no real title available?)
• Algebraic polymodal logic: a survey
• scientific article; zbMATH DE number 6863637 (Why is no real title available?)
• scientific article; zbMATH DE number 1377711 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 1850738 (Why is no real title available?)
• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• scientific article; zbMATH DE number 7123530 (Why is no real title available?)
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
• Relational semantics for normal topological quasi-Boolean logic
• Protoalgebraic logics

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

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