Assertion: epistemic logic | /r/HasProperty | del
Facets:
Source sentences:
text: Dynamic Epistemic Logic (DEL) is the logic of knowledge change; it is not about one particular logical system, but about a whole family of logics that allow us to specify static and dynamic aspects of knowledge and beliefs of agents (cf.