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