A Hilbert-Style Axiomatisation for Equational Hybrid Logic


This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and firstorder 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.

DOI: 10.1007/s10849-013-9184-6

Extracted Key Phrases

Cite this paper

@article{Barbosa2014AHA, title={A Hilbert-Style Axiomatisation for Equational Hybrid Logic}, author={Lu{\'i}s Soares Barbosa and Manuel A. Martins and Marta Carreteiro}, journal={Journal of Logic, Language and Information}, year={2014}, volume={23}, pages={31-52} }