Team Parsifal

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: New Results

Deep inference for hybrid logics

Participant : Lutz Straßburger.

Hybrid languages are modal languages which use formulas to refer to specific points in a model. There is a fast growing community because of many applications. In [Oops!] Lutz Straßburger presents a deep inference deductive system for hybrid logic. Thus, the rich proof theory related to deep inference is made available for hybrid logics, which so far have mainly been studied via model theory. The HyLL logic proposed by Kaustuv Chaudhuri and Joëlle Despeyroux for systems biology (see below) also provides a proof theoretic presentation of hybrid logics, in a traditional natural and sequent style.


Logo Inria