An algebraic study of well-foundedness
From MaRDI portal
Publication:1087540
DOI10.1007/BF00370431zbMath0611.03030MaRDI QIDQ1087540
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
modal logic; Boolean algebra; algebraic semantics; complex algebras; modal algebra; quasi-variety; decidable equational theory; diagonalisable algebra; foundational algebra; hemimorphism; wellfounded binary relations
03B45: Modal logic (including the logic of norms)
03G05: Logical aspects of Boolean algebras
03C05: Equational classes, universal algebra in model theory
Related Items
Kleene under a modal demonic star, Algebraization of quantifier logics, an introductory overview, A modal logic for cyclic repeating, Power structures, Non-termination in Idempotent Semirings
Cites Work