%0 Conference Paper
%B Proceedings of AiML - 10th International Conference On Advances In Modal Logic
%D 2014
%T Introducing Hierarquical Hybrid Logic
%A Alexandre Madeira
%A Luis Soares Barbosa
%A Renato Neves
%A M. Martins
%C GRONINGEN
%X <p>This paper introduces HHL, a hierarchical variant of hybrid logic. First-order correspondence and a Hennessy-Milner like theorem relating (hierarchical) bisimulation and logical equivalence for HHL are presented. Combining hierarchical transition structures with the ability to refer to specic states at any level of description, this logic seems suitable to express and verify properties of hierarchical transition systems, a pervasive semantic structure in Computer Science.</p>
%8 August
%> https://haslab.uminho.pt/sites/default/files/madeira/files/aiml.pdf