This is a companion paper to Braüner (2004b, Journal of Logic and Computation 14, 329-353) where a natural deduction system for propositional hybrid logic is given. In the present paper we generalize the system to the first-order case. Our natural deduction system for first-order hybrid logic can be extended with additional inference rules corresponding to conditions on the accessibility relations and the quantifier domains expressed by so-called geometric theories. We prove soundness and completeness and we prove a normalisation theorem. Moreover, we give an axiom system first-order hybrid logic. © Springer 2005.
CITATION STYLE
Braüner, T. (2005). Natural deduction for first-order hybrid logic. Journal of Logic, Language and Information, 14(2), 173–198. https://doi.org/10.1007/s10849-005-3927-y
Mendeley helps you to discover research relevant for your work.