Logica modale regolare

In logica modale, una logica modale regolare è una logica modale chiusa sotto la dualità dei due operatori modali:

$◊A\equiv \mathrm{\neg }◻\mathrm{\neg }A$

e chiusa sotto la regola:

$(A\wedge B)\to C⊢(◻A\wedge ◻B)\to ◻C.$

Ogni logica modale regolare è classica e ogni logica modale normale è regolare e quindi classica.

Bibliografia

• Chellas, Brian. Modal Logic: An Introduction. Cambridge University Press, 1980