En álgebra y lógica , un álgebra modal es una estructura tal que
Las álgebras modales proporcionan modelos de lógicas modales proposicionales de la misma manera que las álgebras de Boole son modelos de lógica clásica . En particular, la variedad de todas las álgebras modales es la semántica algebraica equivalente de la lógica modal K en el sentido de la lógica algebraica abstracta , y la red de sus subvariedades es dualmente isomorfa a la red de las lógicas modales normales .
El teorema de representación de Stone puede generalizarse a la dualidad Jónsson-Tarski , que garantiza que cada álgebra modal puede representarse como el álgebra de conjuntos admisibles en un marco general modal .
Un álgebra de Magari (o álgebra diagonalizable ) es un álgebra modal que satisface . Las álgebras de Magari corresponden a la lógica de demostrabilidad .
