%0 Journal Article
%J Journal of Logic, Language and Information
%D 2014
%T A Hilbert- Style Axiomatisation for Equational Hybrid Logic
%A Luis Soares Barbosa
%A Manuel Martins
%A Marta Carreteiro
%I Springer
%N 1
%P 31-52
%V 23
%X <p>This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics.</p>
%> https://haslab.uminho.pt/sites/default/files/lsb/files/art3a10.10072fs10849-013-9184-6.pdf