A Hilbert-Style Axiomatisation for Equational Hybrid Logic

Abstract

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. © 2014 Springer Science+Business Media Dordrecht.