Assertion: modal logic | /r/CapableOf | describe properties of provability
Facets:
Source sentences:
text: Gödel considered the classical modal logic \(\mathsf{S4}\) to be a calculus describing properties of provability: