Critical modal logics containing the Brouwer axiom

DOI10.1007/BF01141204zbMath0516.03009OpenAlexW2038273271WikidataQ114694047 ScholiaQ114694047MaRDI QIDQ1052314

V. Yu. Meskhi

Publication date: 1983

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01141204

zbMATH Keywords

varietyKripke modelalgebrasubdirectly irreducibleBoolean algebra with operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Cites Work

• Unnamed Item
• Categories of frames for modal logic
• Five critical modal systems
• Algebraic semantics for modal logics I
• Algebras Whose Congruence Lattices are Distributive.

This page was built for publication: Critical modal logics containing the Brouwer axiom