Assertion: propositional logic | /r/HasProperty | \(\box p\
Facets:
Source sentences:
text: In provability logics, \(\Box p\) is interpreted as a formula (of arithmetic) that expresses that what \(p\) denotes is provable in \(\mathbf{PA}\).