BabelNet

bn:00688196n

Noun Concept

No term available

In modal logic, a classical modal logic L is any modal logic containing the duality of the modal operators ◊ A ↔ ¬ ◻ ¬ A {\displaystyle \Diamond A\leftrightarrow \lnot \Box \lnot A} that is also closed under the rule A ↔ B ◻ A ↔ ◻ B. Wikipedia

Sources