Journal of Logic, Language and Information

, Volume 23, Issue 1, pp 31–52

A Hilbert-Style Axiomatisation for Equational Hybrid Logic

  • Luís S. Barbosa
  • Manuel A. Martins
  • Marta Carreteiro
Article

DOI: 10.1007/s10849-013-9184-6

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

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.

Keywords

Equational hybrid logic Hilbert axiomatisation Completeness 

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  • Luís S. Barbosa
    • 1
  • Manuel A. Martins
    • 2
  • Marta Carreteiro
    • 3
  1. 1.HASLab, High Assurance Software LaboratoryINESC TEC & Universidade do MinhoBragaPortugal
  2. 2.CIDMA, Center for R&D in Mathematics and Applications, Department of MathematicsUniversity of AveiroAveiroPortugal
  3. 3.SAP, Nearshore Center PortugalLisboaPortugal