Assertion: logic | /r/HasProperty | a form of dynamic logic
Facets:
Source sentences:
text: This logic can be seen as a form of dynamic logic again, where the semantic clause for [\(\phi]\psi\) reads (in informal terms):