Autor(es): Luís Soares Barbosa ; Martins,MA ; Carreteiro,M
Data: 2014
Origem: INESC TEC
Detalhes do Documento
A Hilbert-Style Axiomatisation for Equational Hybrid Logic
Descrição
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.
Tipo de Documento
Artigo científico
Idioma Inglês
Idioma Inglês
