منطق موجهات کلاسیک
Sign in to savemodal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule A↔B ⊢ ◻A↔◻B
Wikidata facts
- Subclass of
- modal logic
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0