BRAÜNER, T. Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts. Bulletin of the Section of Logic, [S. l.], v. 51, n. 2, p. 143–162, 2022. DOI: 10.18778/0138-0680.2022.02. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/8080. Acesso em: 19 apr. 2024.