Assertion: logic | /r/HasProperty | natural
Facets:
value: quite
type: DEGREE
Source sentences:
text: Curiously, while the logic \(\mathsf{S4LP}\) seems quite natural, a Realization Theorem has been problematic for it: no such theorem can be proved if one insists on what are called normal realizations (Kuznets 2010).