Klonowski, Mateusz, et al. “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.