A Hilbert-Style Axiomatisation for Equational Hybrid Logic

Detalhes bibliográficos
Autor(a) principal: Luís Soares Barbosa
Data de Publicação: 2014
Outros Autores: Martins,MA, Carreteiro,M
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://repositorio.inesctec.pt/handle/123456789/6842
http://dx.doi.org/10.1007/s10849-013-9184-6
Resumo: 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.
id RCAP_f4cc7872435ed7c9913c939547dd36d2
oai_identifier_str oai:repositorio.inesctec.pt:123456789/6842
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling A Hilbert-Style Axiomatisation for Equational Hybrid LogicThis 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.2018-01-17T19:18:23Z2014-01-01T00:00:00Z2014info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://repositorio.inesctec.pt/handle/123456789/6842http://dx.doi.org/10.1007/s10849-013-9184-6engLuís Soares BarbosaMartins,MACarreteiro,Minfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-05-15T10:20:29Zoai:repositorio.inesctec.pt:123456789/6842Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T17:53:12.487935Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv A Hilbert-Style Axiomatisation for Equational Hybrid Logic
title A Hilbert-Style Axiomatisation for Equational Hybrid Logic
spellingShingle A Hilbert-Style Axiomatisation for Equational Hybrid Logic
Luís Soares Barbosa
title_short A Hilbert-Style Axiomatisation for Equational Hybrid Logic
title_full A Hilbert-Style Axiomatisation for Equational Hybrid Logic
title_fullStr A Hilbert-Style Axiomatisation for Equational Hybrid Logic
title_full_unstemmed A Hilbert-Style Axiomatisation for Equational Hybrid Logic
title_sort A Hilbert-Style Axiomatisation for Equational Hybrid Logic
author Luís Soares Barbosa
author_facet Luís Soares Barbosa
Martins,MA
Carreteiro,M
author_role author
author2 Martins,MA
Carreteiro,M
author2_role author
author
dc.contributor.author.fl_str_mv Luís Soares Barbosa
Martins,MA
Carreteiro,M
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.
publishDate 2014
dc.date.none.fl_str_mv 2014-01-01T00:00:00Z
2014
2018-01-17T19:18:23Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.inesctec.pt/handle/123456789/6842
http://dx.doi.org/10.1007/s10849-013-9184-6
url http://repositorio.inesctec.pt/handle/123456789/6842
http://dx.doi.org/10.1007/s10849-013-9184-6
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799131606843129856

Registros relacionados