bn:00688196n
Noun Concept
Categories: Logic stubs, Modal logic
EN
classical modal logic
EN
In modal logic, a classical modal logic L is any modal logic containing the duality of the modal operators ◊ A ≡ ¬ ◻ ¬ A {\displaystyle \Diamond A\equiv \lnot \Box \lnot A} that is also closed under the rule A ≡ B ⊢ ◻ A ≡ ◻ B. Wikipedia
Definitions
Sources
EN
In modal logic, a classical modal logic L is any modal logic containing the duality of the modal operators ◊ A ≡ ¬ ◻ ¬ A {\displaystyle \Diamond A\equiv \lnot \Box \lnot A} that is also closed under the rule A ≡ B ⊢ ◻ A ≡ ◻ B. Wikipedia
Wikipedia
Wikidata