A Hilbert-Style Axiomatisation for Equational Hybrid Logic
- First Online:
- Cite this article as:
- Barbosa, L.S., Martins, M.A. & Carreteiro, M. J of Log Lang and Inf (2014) 23: 31. doi:10.1007/s10849-013-9184-6
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.