on 10-04-2015
10/04/2015, 16:15 — 17:15 — Room P3.10, Mathematics BuildingInstituto Superior Técnicohttp://tecnico.ulisb oa.pt
Manuel A. Martins, U. Aveiro
Hierarchical Hybrid Logic
In this talk we introduce $\mathbf{HHL}$, a hierarchical variant of hybrid logic. In particular, we study first order correspondence results and we present a Hennessy-Milner like theorem relating (hierarchical) bisimulation and modal equivalence for $\mathbf{HHL}$. We also discuss decidability and completeness of this logic.
link
< /div>
Funded under the scope of UID/EEA/50008/2013.
Instituto de TelecomunicaçõesFCT
To cancel or change your subscription visit