Klonowski, Mateusz, Krzysztof Aleksander Krawczyk, and Bożena Pięta. 2021. “Tableau Systems for Epistemic Positional Logics”. Bulletin of the Section of Logic 50 (2):177-204. https://doi.org/10.18778/0138-0680.2021.06.