%0 Conference Paper
%B AIP Conference Proceedings
%D 2014
%T Logics for robotics?
%A Alexandre Madeira
%A Renato Neves
%A Luis Soares Barbosa
%A M. Martins
%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 HHLare 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>
%> https://haslab.uminho.pt/sites/default/files/madeira/files/madeiranevesmartinsbarbosa.pdf