Algèbre modale

En algèbre et en logique, une algèbre modale est une structure tel que est une algèbre de Boole (structure), est un opérateur unaire sur A satisfaisant et pour tout x, y dans A. Une algèbre modale fourni des modèles de logiques modales propositionnel de la même manière que les algèbres booléennes sont des modèles de la logique classique. En particulier, la variété de toutes algèbres modales est la sémantique algébrique équivalentes de la logique modale K dans le sens de la logique algébrique abstraite, et le treillis de ses sous-variétés est duellement isomorphe au treillis de logiques modales normales. Logique algébrique Algèbre intérieure Algèbre d'Heyting A. Chagrov et M. Zakharyaschev, Modal Logic, Oxford Logic Guides vol. 35, Oxford University Press, 1997.