| Title |
Hierarchical Hybrid Logic |
| ID_Doc |
79244 |
| Authors |
Madeira, A; Neves, R; Martins, MA; Barbosa, LS |
| Title |
Hierarchical Hybrid Logic |
| Year |
2018 |
| Published |
|
| DOI |
10.1016/j.entcs.2018.10.011 |
| 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. |
| Author Keywords |
Hybrid logic; Hierarchical systems |
| Index Keywords |
Index Keywords |
| Document Type |
Other |
| Open Access |
Open Access |
| Source |
Emerging Sources Citation Index (ESCI) |
| EID |
WOS:000448882000011 |
| WoS Category |
Computer Science, Theory & Methods |
| Research Area |
Computer Science |
| PDF |
https://doi.org/10.1016/j.entcs.2018.10.011
|