Klonowski, M., Krawczyk, K. A., & Pięta, B. (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