منطق موجهات کلاسیک
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
Within Vinony's link graph, منطق موجهات کلاسیک is referenced by 7 other articles, and connects out to logic, if and only if and modal logic.
It is catalogued under the topic Modal logic.
Its subject is documented across 6 Wikipedia language editions.
Wikidata facts
- Subclass of
- modal logic
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0