M. Klonowski, K. A. Krawczyk, and B. Pięta, “Tableau Systems for Epistemic Positional Logics”, B Sect Log, vol. 50, no. 2, pp. 177–204, Apr. 2021.