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.