KLONOWSKI, Mateusz; KRAWCZYK, Krzysztof Aleksander; PIĘTA, Bożena. 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: 20 jul. 2024.