Обычная модальная логика

В модальной логике регулярная модальная логика — это модальная логика, содержащая (в виде аксиомы или теоремы) двойственность модальных операторов:

$\Diamond A\leftrightarrow \lnot \Box \lnot A$

и закрыто по правилу

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

Всякая нормальная модальная логика является регулярной, а каждая регулярная модальная логика является классической .

Ссылки

• Челлас, Брайан. Модальная логика: Введение . Издательство Кембриджского университета, 1980.