Wójcik, A. The Dynamic Epistemic Logic for Actual Knowledge. B Sect Log 2020, 49 (1), 79–96. https://doi.org/10.18778/0138-0680.2020.04.