Assertion: logic | /r/HasProperty | axiomatized
Facets:
Source sentences:
text: A logic adequate to this semantics may be axiomatized by making three changes to the axioms of PFL.