Browsing 2016 by MFO Series ID "OWP-2016-26"
Now showing items 1-1 of 1
-
Finitary Proof Systems for Kozen's μ
[OWP-2016-26] (Mathematisches Forschungsinstitut Oberwolfach, 2016-12-30)We present three finitary cut-free sequent calculi for the modal $μ$-calculus. Two of these derive annotated sequents in the style of Stirling’s ‘tableau proof system with names’ (2014) and feature special inferences that ...