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

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

${\displaystyle \Diamond A\equiv \lnot \Box \lnot A}$

и правилото

${\displaystyle (A\land B)\to C\vdash (\Box A\land \Box B)\to \Box C.}$

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

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