Hierarchical Hybrid Logic
Madeira, Alexandre, Neves, Renato, Martins, Manuel and Soares Barbosa, Luís, (2018). Hierarchical Hybrid Logic. Electronic Notes in Theoretical Computer Science, 338 167-184
Document type:
Article
Collection:
-
Related Links Link Description 
https://www.sciencedirect.com/science/article/pii/S157106611830077X Article on publisher's website
http://dx.doi.org/10.1016/j.entcs.2018.10.011 Full text from publisher -
Sub-type Journal article Author Madeira, Alexandre
Neves, Renato
Martins, Manuel
Soares Barbosa, LuísTitle Hierarchical Hybrid Logic Appearing in Electronic Notes in Theoretical Computer Science Volume 338 Publication Date 2018-10-26 Place of Publication Amsterdam Publisher Elsevier Start page 167 End page 184 Language eng 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. Keyword Hybrid logic
Hierarchical systemsCopyright Holder Elsevier B.V. Copyright Year 2018 Copyright type Creative commons DOI 10.1016/j.entcs.2018.10.011 -
Citation counts 
Search Google Scholar
Access Statistics: 420 Abstract Views - Detailed Statistics Created: Fri, 31 Jan 2020, 23:26:12 JST by Mario Peixoto on behalf of UNU EGOV