1. See also

2. References

In algebra and logic, a modal algebra is a structure such that

• 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.

See also

• interior algebra
• Heyting algebra

References

A. Chagrov and M. Zakharyaschev, Modal Logic, Oxford Logic Guides vol. 35, Oxford University Press, 1997. {{ISBN|0-19-853779-4}}

• Polycystic kidneys
• Polycystic liver disease
• Polycystic Liver Disease
• Polycystin 1
• Polycystis occulta
• Polycystis parallela
• Polycytemia
• Polycythaemia rubra vera
• Polycythaemia vera
• Polycythemia rubra vera
• Polycythemia Rubra Vera
• Polycythemic
• Polydactyl cat
• Polydactyl cats
• Polydactylus
• Polydactylus octonemus
• Polydama
• Polydamantas
• Polydamas
• Polydamna
• PolyDeism
• Polydendri
• Polydesmus exitiosus
• Polydiacetylene
• Polydichloric Euthimal