Algèbre modale

Cet article est une ébauche concernant l’algèbre, la logique et les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En algèbre et en logique, une algèbre modale est une structure $\langle A,\land ,\lor ,-,0,1,\Box \rangle$ tel que

$\langle A,\land ,\lor ,-,0,1\rangle$ est une algèbre de Boole (structure),
$\Box$ est un opérateur unaire sur A satisfaisant $\Box 1=1$ et $\Box (x\land y)=\Box x\land \Box y$ 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.

Voir aussi[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Modal algebra » (voir la liste des auteurs).
A. Chagrov et M. Zakharyaschev, Modal Logic, Oxford Logic Guides vol. 35, Oxford University Press, 1997. (ISBN 0-19-853779-4)