Assertion: logic | /r/HasProperty | axiomatized by ming xu
Facets:
Source sentences:
text: The logic of stit was axiomatized by Ming Xu (1998).