Lógica modal regular

En lógica modal , una lógica modal regular es una lógica modal que contiene (como axioma o teorema) la dualidad de los operadores modales:

${\displaystyle \Diamond A\leftrightarrow \lnot \Box \lnot A}$

y cerrado bajo la regla

${\displaystyle {\frac {(A\land B)\to C}{(\Box A\land \Box B)\to \Box C}}.}$

Toda lógica modal normal es regular, y toda lógica modal regular es clásica .

Referencias

• Chellas, Brian. Lógica modal: una introducción . Cambridge University Press, 1980.