Klonowski, M.; Krawczyk, K. A.; Pięta, B. Tableau Systems for Epistemic Positional Logics. B Sect Log 2021, 50, 177-204.