A Hilbert- Style Axiomatisation for Equational Hybrid Logic

Citation:
Barbosa LS, Martins M, Carreteiro M.  2014.  A Hilbert- Style Axiomatisation for Equational Hybrid Logic. Journal of Logic, Language and Information. 23(1):31-52.

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.

Citation Key:

1987

DOI:

10.1007/s10849-013-9184-6

PreviewAttachmentSize
art3a10.10072fs10849-013-9184-6.pdf244.35 KB