Klonowski, Mateusz, Krzysztof Aleksander Krawczyk, and Bożena Pięta. “Tableau Systems for Epistemic Positional Logics”. Bulletin of the Section of Logic 50, no. 2 (April 1, 2021): 177–204. Accessed February 11, 2026. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/6240.