Author(s): Luís Soares Barbosa ; Martins,MA ; Carreteiro,M
Date: 2014
Origin: INESC TEC
Document details
A Hilbert-Style Axiomatisation for Equational Hybrid Logic
Description
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.
Document Type
Journal article
Language English
Language English
