Assertion: epistemic logic | /r/HasProperty | ddl
Facets:
Source sentences:
text: Very similar in spirit is the work of Segerberg (1995) on Dynamic Doxastic Logic (DDL), the modal logic of belief change.