Braüner, Torben. “Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a Couple of Striking Facts”. Bulletin of the Section of Logic 51, no. 2 (January 7, 2022): 143–162. Accessed April 20, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/8080.