En lógica modal , una lógica modal clásica L es cualquier lógica modal que contenga (como axioma o teorema) la dualidad de los operadores modales
que también está cerrado bajo la regla
Alternativamente, se puede dar una definición dual de L por la cual L es clásica si y solo si contiene (como axioma o teorema)
y está cerrado bajo la regla
El sistema clásico más débil a veces se denomina E y no es normal . Ambos algebraicas y la semántica de la vecindad caracterizan sistemas modales clásicos familiares que son más débiles que los más débiles lógica modal normal de K .
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.