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.

• Chellas, Brian. Lógica Modal: Introducción. Cambridge University Press, 1980.