@article {1987,
	title = {A Hilbert- Style Axiomatisation for Equational Hybrid Logic},
	journal = {Journal of Logic, Language and Information},
	volume = {23},
	year = {2014},
	pages = {31-52},
	publisher = {Springer},
	abstract = {<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>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/art3a10.10072fs10849-013-9184-6.pdf},
	author = {Luis Soares Barbosa and Manuel Martins and Marta Carreteiro}
}