KLONOWSKI, M.; KRAWCZYK, K. A.; PIĘTA, B. Tableau Systems for Epistemic Positional Logics. Bulletin of the Section of Logic, [S. l.], v. 50, n. 2, p. 177–204, 2021. DOI: 10.18778/0138-0680.2021.06. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/6240. Acesso em: 28 jan. 2023.