On Cuts and Cut-Elimination in Modal Fixed Point Logics
Author: Thomas Studer
Paper Information
| Title: | On Cuts and Cut-Elimination in Modal Fixed Point Logics |
| Authors: | Thomas Studer |
| Proceedings: | GSB 2014 Proceedings |
| Editors: | Roman Kuznets and George Metcalfe |
| Keywords: | Syntactic cut-elimination, mu-calculus, logic of common knowledge, nested sequents, Buchholz rule |
| Abstract: | ABSTRACT. We present these recent developments and discuss open questions concerning syntactic cut-elimination for modal fixed point logics. |
| Pages: | 0 |
| Talk: | Jul 13 12:00 |
| Paper: |  |