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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.4204/EPTCS.77.7 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Field | DocType | Volume |
Syntax,Calculus,Modal,Mathematics | Journal | 77 |
Issue | ISSN | Citations |
77 | 2075-2180 | 3 |
PageRank | References | Authors |
0.50 | 8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |
Thomas Studer | 2 | 113 | 11.85 |