Modal algebra
Boolean algebra with unary operators expressing necessity and possibility modalities
In algebra and logic, a modal algebra is a structure 
is a Boolean algebra,
is a unary operation on A satisfying
and
for all x, y in A.
Modal algebras provide models of propositional modal logics in the same way as Boolean algebras are models of classical logic. In particular, the variety of all modal algebras is the equivalent algebraic semantics of the modal logic K in the sense of abstract algebraic logic, and the lattice of its subvarieties is dually isomorphic to the lattice of normal modal logics.
Stone's representation theorem can be generalized to the Jónsson-Tarski duality, which ensures that each modal algebra can be represented as the algebra of admissible sets in a modal general frame.
A Magari algebra (or diagonalizable algebra) is a modal algebra satisfying 
Sources and credits
This article is adapted from the Wikipedia article “Modal algebra”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.
Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.