Wikidata facts
- Part of
- mathematical logic
Show 4 more facts
- topic's main category
- Category:Modal logic
- Commons category
- Modal logic
- influenced by
- predicate logic
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/modal-logic
via Wikidata · CC0