An algebraic study of well-foundedness

DOI10.1007/BF00370431zbMath0611.03030OpenAlexW2077631596MaRDI QIDQ1087540

Robert Goldblatt

Publication date: 1985

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

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

zbMATH Keywords

modal logicBoolean algebraalgebraic semanticscomplex algebrasmodal algebraquasi-varietydecidable equational theorydiagonalisable algebrafoundational algebrahemimorphismwellfounded binary relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of Boolean algebras (03G05) Equational classes, universal algebra in model theory (03C05)

Related Items (6)

Non-termination in Idempotent Semirings ⋮ Algebraization of quantifier logics, an introductory overview ⋮ A modal logic for cyclic repeating ⋮ Power structures ⋮ The power of a propositional constant ⋮ Kleene under a modal demonic star

Cites Work

• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• First-order dynamic logic
• Algebraic semantics for modal logics I
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An algebraic study of well-foundedness