Assertion: logic's power | /r/HasProperty | extended
Facets:
Source sentences:
text: In this section, we will outline how it is that the expressive power of multi-agent epistemic logic can be extended so as to capture epistemic actions.