Регулярная модальная логика - Regular modal logic

В модальная логика, а регулярная модальная логика L - модальная логика, замкнутая относительно двойственность модальных операторов:

${displaystyle Diamond Aequiv lnot Box lnot A}$

и правило

${displaystyle (Aland B) o Cvdash (Box Aland Box B) o Box C.}$

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

использованная литература

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