En lógica modal , una lógica modal regular es una lógica modal cerrada bajo la dualidad de los operadores modales:
y la regla
Toda lógica modal regular es clásica y toda lógica modal normal es regular y, por tanto, clásica.
Referencias
- Chellas, Brian. Lógica modal: una introducción . Prensa de la Universidad de Cambridge, 1980.