classical modal logic
Sign in to savemodal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule A↔B ⊢ ◻A↔◻B
In the Vinony graph
Vinony's link graph records 7 inbound references to classical modal logic, and connects out to logic, if and only if and modal logic.
It is catalogued under the topic Modal logic.
Vinony links it to 6 Wikipedia language editions.
Wikidata facts
- Subclass of
- modal logic
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0