Klonowski M, Krawczyk KA, Pięta B. Tableau Systems for Epistemic Positional Logics. B Sect Log. 2021;50(2):177-204. doi:10.18778/0138-0680.2021.06