Effective cut-elimination for a fragment of modal mu-calculus
From MaRDI portal
Publication:454366
DOI10.1007/s11225-012-9378-yzbMath1254.03110MaRDI QIDQ454366
Publication date: 1 October 2012
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-012-9378-y
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03F05: Cut-elimination and normal-form theorems
03B44: Temporal logic
Related Items
Cites Work
- An extension of the omega-rule
- Proof theory. The first step into impredicativity
- Canonical completeness of infinitary \(\mu \)
- Syntactic cut-elimination for common knowledge
- Proof theory. 2nd ed
- A finite model theorem for the propositional \(\mu\)-calculus
- A Buchholz rule for modal fixed point logics
- Explaining the Gentzen-Takeuti reduction steps: A second-order system