normal modal logic with the additional axioms ◻A→A and ◊A→◻◊A
Wikidata facts
- Instance of
- normal modal logic
Show 1 more fact
- different from
- S5
Sources (2)
via Wikidata · CC0
normal modal logic with the additional axioms ◻A→A and ◊A→◻◊A
via Wikidata · CC0