An axiomatization of the modal theory of the veiled recession frame

DOI10.1007/BF00493671zbMath0415.03014OpenAlexW2120980296MaRDI QIDQ599806

Willem J. Blok

Publication date: 1979

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

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

zbMATH Keywords

modal logicfinite axiomatizationmodal algebraveiled recession frame

Mathematics Subject Classification ID

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

Related Items (2)

In memory of Willem Johannes Blok 1947-2003 ⋮ Willem Blok and modal logic

Cites Work

• The lattice of modal logics: an algebraic investigation
• Two simple incomplete modal logics
• An incompleteness theorem in modal logic
• A normal modal calculus between T and S4 without the finite model property

This page was built for publication: An axiomatization of the modal theory of the veiled recession frame