Skip to content
Vinony
English
EnglishDeutschEspañolFrançaisItaliano日本語
EntityQ260168· pop 7· linked from 33 articles

provability logic

Sign in to save

modal logic

Wikidata facts

Instance of
normal modal logic
Part of
modal logic
Sources (1)

via Wikidata · CC0

Available in 7 languages

via Wikidata sitelinks · CC0