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 \Diamante A\leftrightarrow \lno \Caja \lno A}$

y cerrado bajo la regla

${\displaystyle {\frac {(A\ly B)\to C}{(\Caja A\ly \Caja B)\to \Caja C}}.}$

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

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