@conference {1959,
	title = {Introducing Hierarquical Hybrid Logic},
	booktitle = { Proceedings of AiML - 10th International Conference On Advances In Modal Logic},
	year = {2014},
	month = {August},
	address = {GRONINGEN},
	abstract = {<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>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/madeira/files/aiml.pdf},
	author = {Alexandre Madeira and Luis Soares Barbosa and Renato Neves and M. Martins}
}