Home›Browse›provability logic🌐EnglishEnglishDeutschEspañolFrançaisItaliano日本語EntityQ260168· pop 7· linked from 33 articlesprovability logicSign in to savemodal logicAvailable in 7 languagesEspañolFrançaisDeutsch日本語ItalianoHungarianvia Wikidata sitelinks · CC0