Hierarchical hybrid logic

doi:10.1016/j.entcs.2018.10.011

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/69278

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Madeira, Alexandre Leite Castro	por
dc.contributor.author	Neves, Renato Jorge Araújo	por
dc.contributor.author	Martins, Manuel A.	por
dc.contributor.author	Barbosa, L. S.	por
dc.date.accessioned	2021-01-15T11:55:45Z	-
dc.date.available	2021-01-15T11:55:45Z	-
dc.date.issued	2018-10	-
dc.identifier.citation	Madeira, A., Neves, R., Martins, M. A., & Barbosa, L. S. (2018). Hierarchical hybrid logic. Electronic Notes in Theoretical Computer Science, 338, 167-184	por
dc.identifier.issn	1571-0661	-
dc.identifier.uri	https://hdl.handle.net/1822/69278	-
dc.description.abstract	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.	por
dc.description.sponsorship	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/2013	por
dc.language.iso	eng	por
dc.publisher	Elsevier 1	por
dc.relation	info:eu-repo/grantAgreement/FCT/5876/147206/PT	por
dc.rights	openAccess	por
dc.subject	Hybrid logic	por
dc.subject	Hierarchical systems	por
dc.title	Hierarchical hybrid logic	por
dc.type	article	por
dc.peerreviewed	yes	por
dc.relation.publisherversion	https://www.sciencedirect.com/science/article/pii/S157106611830077X	por
oaire.citationStartPage	167	por
oaire.citationEndPage	184	por
oaire.citationVolume	338	por
dc.identifier.doi	10.1016/j.entcs.2018.10.011	por
dc.subject.fos	Ciências Naturais::Ciências da Computação e da Informação	por
dc.subject.wos	Science & Technology	por
sdum.journal	Electronic Notes in Theoretical Computer Science	por
Aparece nas coleções:	HASLab - Artigos em revistas internacionais

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
MNMB18.pdf		311 kB	Adobe PDF	Ver/Abrir

Ver registo simples Sugerir correção Estatísticas

Citations

Altmetrics