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, doi: 10.18778/0138-0680.2021.06.