Introducing Hierarquical Hybrid Logic

Citation:
Madeira A, Barbosa LS, Neves R, Martins M.  2014.  Introducing Hierarquical Hybrid Logic. Proceedings of AiML - 10th International Conference On Advances In Modal Logic.

Date Presented:

August

Abstract:

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.

Citation Key:

1959
PreviewAttachmentSize
aiml.pdf301.33 KB