Регуларна модална логика

Во модалнатаа логика, регуларната модална логика L е модална логика затворена под двојноста на модалните извршувачи:

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

и правилото

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

Секоја регуларна модална логика е класична, и секоја нормална модална логика е регуларна и оттука и класична.

Наводи

• Челас, Брајан. Modal Logic: An Introduction . Cambridge University Press, 1980 година.