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 April 19, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/6240.