A Buchholz rule for modal fixed point logics

DOI10.1007/s11787-010-0022-1zbMath1278.03044OpenAlexW2066142388MaRDI QIDQ1942334

Gerhard Jäger, Thomas Studer

Publication date: 19 March 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-010-0022-1

zbMATH Keywords

sequent calculusproof theoryomega ruleBuchholz rulemodal \({\mu}\)-calculusmodal fixed-point logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Effective cut-elimination for a fragment of modal mu-calculus ⋮ The Proof Theory of Common Knowledge ⋮ MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics ⋮ SMALL INFINITARY EPISTEMIC LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Proof-theoretical analysis: Weak systems of functions and classes
• Canonical completeness of infinitary \(\mu \)
• Ordinal analysis by transformations
• A finite model theorem for the propositional \(\mu\)-calculus
• Elementary induction on abstract structures
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Completeness for Flat Modal Fixpoint Logics
• Induction and inductive definitions in fragments of second order arithmetic
• Explaining the Gentzen-Takeuti reduction steps: A second-order system