En álgebra y lógica , un álgebra modal es una estructura tal que
Las álgebras modales proporcionan modelos de lógica modal proposicional de la misma manera que las álgebras booleanas 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 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 de Jónsson-Tarski , lo que asegura 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 .
