Assertion: logic's theorem | /r/HasProperty | avoided in realizations of modal logics
Facets:
Source sentences:
text: Theorem 5: Self-referentiality can be avoided in realizations of modal logics \(\mathsf{K}\) and \(\mathsf{D}\).