Assertion: modal logic | /r/HasProperty | explored under dynamic epistemic logic
Facets:
Source sentences:
text: Later the modal logic of such actions has been explored under the names dynamic deontic logic, dynamic doxastic logic and dynamic epistemic logic.