Creating and sharing knowledge for telecommunications

Seminar - Logic and Computation Seminar

on 10-04-2015


10/04/2015, 16:15 — 17:15 — Room P3.10, Mathematics BuildingInstituto Superior Técnicohttp://tecnico.ulisb
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.

< /div>

Funded under the scope of UID/EEA/50008/2013.

Instituto de TelecomunicaçõesFCT
To cancel or change your subscription visit

More Information..