Zwykła logika modalna

W logice modalnej regularna logika modalna jest logiką modalną zawierającą (jako aksjomat lub twierdzenie) dwoistość operatorów modalnych:

${\ Displaystyle \ Diament A \ strzałka w prawo w lewo \ lnot \ Box \ lnot A}$

i zamknięty zgodnie z regułą

${\ Displaystyle {\ Frac {(A \ ziemia B) \ do C} {(\ Pole A \ ziemia \ Pole B) \ do \ Pole C}}.}$

Każda normalna logika modalna jest regularna, a każda regularna logika modalna jest klasyczna .

• Chellas, Brian. Logika modalna: wprowadzenie . Cambridge University Press, 1980.