Wójcik, A. The Dynamic Epistemic Logic for Actual Knowledge. B Sect Log 2020, 49, 79–96.