Section: New Results
The LINC meta-logic
A new meta-logic that plays a central role in the Parsifal plans to reason about operational semantics is the LINC logic. This logic was presented in the PhD thesis of Alwen Tiu  : part of it is also presented in  and  . The major results reported have been the cut-elimination theorem for LINC (hence, its consistency) and the development of numerous examples that indicate that this logic can serve the central purpose that we have planned for it.