M. Liu, J. Fan, H. van Ditmarsch, and L. B. Kuijer, “Logics for Knowability”, LLP, vol. 31, no. 3, pp. 385–426, Dec. 2021.