Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33739| Título: | A hilbert-style axiomatisation for equational hybrid logic |
| Autor(es): | Carreteiro, Marta Martins, Manuel Barbosa, L. S. |
| Palavras-chave: | Equational hybrid logic Hilbert axiomatisation Completeness |
| Data: | 2014 |
| Editora: | Springer Verlag |
| Revista: | Journal of Logic, Language and Information |
| Citação: | Barbosa, L. S., Martins, M. A., & Carreteiro, M. (2014). A Hilbert-Style Axiomatisation for Equational Hybrid Logic. Journal of Logic, Language and Information, 23(1), 31-52. |
| Resumo(s): | 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. |
| Tipo: | Artigo |
| URI: | https://hdl.handle.net/1822/33739 |
| DOI: | 10.1007/s10849-013-9184-6 |
| ISSN: | 0925-8531 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
