Классическая модальная логика — модальная логика , содержащая, в качестве аксиомы или теоремы, двойственность модальных операторов: , которая также : .
Двойственное определение — модальная логика является классической тогда и только тогда, когда содержит в качестве аксиомы или теоремы:
и замкнута согласно правилу:
.
Все и нормальные модальные логики — классические. Самая слабая классическая система обычно обозначается и не является нормальной.
Примечания
Категория:Математическая логика