Klonowski, M., K. A. Krawczyk, and B. Pięta. “Tableau Systems for Epistemic Positional Logics”. Bulletin of the Section of Logic, vol. 50, no. 2, Apr. 2021, pp. 177-04, doi:10.18778/0138-0680.2021.06.