Hierarchical hybrid logic

Detalhes bibliográficos
Autor(a) principal: Madeira, Alexandre Leite Castro
Data de Publicação: 2018
Outros Autores: Neves, Renato Jorge Araújo, Martins, Manuel A., Barbosa, L. S.
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://hdl.handle.net/1822/69278
Resumo: We introduce HHL, a hierarchical variant of hybrid logic. We study first order correspondence results and prove a Hennessy-Milner like theorem relating (hierarchical) bisimulation and modal equivalence for HHL. Combining hierarchical transition structures with the ability to refer to specific states at different levels, this logic seems suitable to express and verify properties of hierarchical transition systems, a pervasive semantic structure in Computer Science.
id RCAP_19a2fa70a321b762f9c68478b57e68af
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/69278
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 Hierarchical hybrid logicHybrid logicHierarchical systemsCiências Naturais::Ciências da Computação e da InformaçãoScience & TechnologyWe introduce HHL, a hierarchical variant of hybrid logic. We study first order correspondence results and prove a Hennessy-Milner like theorem relating (hierarchical) bisimulation and modal equivalence for HHL. Combining hierarchical transition structures with the ability to refer to specific states at different levels, this logic seems suitable to express and verify properties of hierarchical transition systems, a pervasive semantic structure in Computer Science.ERDF European Regional Development Fund, through the COMPETE Programme, and by National Funds through FCT - Portuguese Foundation for Science and Technology - within projects POCI-01-0145-FEDER-016692 and UID/MAT/04106/2013, as well by project “SmartEGOV: Harnessing EGOV for Smart Governance (Foundations, Methods, Tools) / NORTE-01-0145-FEDER-000037”, supported by Norte Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement. A. Madeira and R. Neves are further supported by the FCT individual grants SFRH/BPD/103004/2014 and SFRH/BD/52234/2013ElsevierUniversidade do MinhoMadeira, Alexandre Leite CastroNeves, Renato Jorge AraújoMartins, Manuel A.Barbosa, L. S.2018-102018-10-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/69278engMadeira, A., Neves, R., Martins, M. A., & Barbosa, L. S. (2018). Hierarchical hybrid logic. Electronic Notes in Theoretical Computer Science, 338, 167-1841571-066110.1016/j.entcs.2018.10.011https://www.sciencedirect.com/science/article/pii/S157106611830077Xinfo: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-07-21T12:53:36Zoai:repositorium.sdum.uminho.pt:1822/69278Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:53:00.696146Repositó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 Hierarchical hybrid logic
title Hierarchical hybrid logic
spellingShingle Hierarchical hybrid logic
Madeira, Alexandre Leite Castro
Hybrid logic
Hierarchical systems
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
title_short Hierarchical hybrid logic
title_full Hierarchical hybrid logic
title_fullStr Hierarchical hybrid logic
title_full_unstemmed Hierarchical hybrid logic
title_sort Hierarchical hybrid logic
author Madeira, Alexandre Leite Castro
author_facet Madeira, Alexandre Leite Castro
Neves, Renato Jorge Araújo
Martins, Manuel A.
Barbosa, L. S.
author_role author
author2 Neves, Renato Jorge Araújo
Martins, Manuel A.
Barbosa, L. S.
author2_role author
author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Madeira, Alexandre Leite Castro
Neves, Renato Jorge Araújo
Martins, Manuel A.
Barbosa, L. S.
dc.subject.por.fl_str_mv Hybrid logic
Hierarchical systems
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
topic Hybrid logic
Hierarchical systems
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
description We introduce HHL, a hierarchical variant of hybrid logic. We study first order correspondence results and prove a Hennessy-Milner like theorem relating (hierarchical) bisimulation and modal equivalence for HHL. Combining hierarchical transition structures with the ability to refer to specific states at different levels, this logic seems suitable to express and verify properties of hierarchical transition systems, a pervasive semantic structure in Computer Science.
publishDate 2018
dc.date.none.fl_str_mv 2018-10
2018-10-01T00:00:00Z
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://hdl.handle.net/1822/69278
url http://hdl.handle.net/1822/69278
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Madeira, A., Neves, R., Martins, M. A., & Barbosa, L. S. (2018). Hierarchical hybrid logic. Electronic Notes in Theoretical Computer Science, 338, 167-184
1571-0661
10.1016/j.entcs.2018.10.011
https://www.sciencedirect.com/science/article/pii/S157106611830077X
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.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
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_ 1799133124857167872

Registros relacionados