Klonowski M, Krawczyk KA, Pięta B. Tableau Systems for Epistemic Positional Logics. B Sect Log [Internet]. 2021 Apr. 1 [cited 2025 Dec. 9];50(2):177-204. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/6240