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 January 28, 2023. https://czasopisma.uni.lodz.pl/bulletin/article/view/6240.