Hierarchical Hybrid Logic | Zendy

Alexandre Madeira | Zendy; Renato Neves | Zendy; Manuel A. Martins | Zendy; Lu­ís Soares Barbosa | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Hierarchical Hybrid Logic

Author(s) -

Alexandre Madeira,

Renato Neves,

Manuel A. Martins,

Luís Soares Barbosa

Publication year - 2018

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2018.10.011

Subject(s) - bisimulation , theoretical computer science , computer science , modal logic , modal , equivalence (formal languages) , mathematics , discrete mathematics , chemistry , polymer chemistry

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research