Braüner, Torben. 2022. “Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a Couple of Striking Facts”. Bulletin of the Section of Logic 51 (2):143-62. https://doi.org/10.18778/0138-0680.2022.02.