Cut-elimination for the mu-calculus with one variable
classification
💻 cs.LO
keywords
cut-eliminationmu-calculusbuchholzestablishfragmentmakesmethodmints
read the original abstract
We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Omega-rule.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.