Definitions from Wikipedia (Provability logic)

▸ noun:  a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'.


▸ Words similar to provability logic
▸ Usage examples for provability logic

▸ Idioms related to provability logic
▸ Wikipedia articles (New!)
▸ Words that often appear near provability logic
▸ Rhymes of provability logic

▸ Invented words related to provability logic