Abstract | ||
---|---|---|
A non-effective cut-elimination proof for modal mu-calculus has been given by G. Jäger, M. Kretz and T. Studer. Later an effective proof has been given for a subsystem M 1 with non-iterated fixpoints and positive endsequents. Using a new device we give an effective cut-elimination proof for M 1 without restriction to positive sequents. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/s11225-012-9378-y | Studia Logica |
Keywords | Field | DocType |
modal mu-calculus,cut-elimination | Discrete mathematics,Algorithm,Mathematics,Modal,Calculus | Journal |
Volume | Issue | ISSN |
100 | 1-2 | 0039-3215 |
Citations | PageRank | References |
2 | 0.48 | 6 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |