%0 Journal Article
%A Braüner, Torben
%T Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
%J Bulletin of the Section of Logic
%D 2022
%P 143-162
%V 51
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2022_51_2_a0/
%G en
%F BSL_2022_51_2_a0