Syntactic cut-elimination for a fragment of the modal mu-calculus

DOI10.1016/J.APAL.2012.04.006zbMATH Open1259.03031OpenAlexW2020453924MaRDI QIDQ714717FDOQ714717

Authors: Kai Brünnler, Thomas Studer 

Publication date: 11 October 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.04.006

Recommendations

• Effective cut-elimination for a fragment of modal mu-calculus
• scientific article; zbMATH DE number 7297836
• On the proof theory of the modal mu-calculus
• Continuous Fragment of the mu-Calculus
• Canonical completeness of infinitary \(\mu \)

zbMATH Keywords

mu-calculuscut eliminationnested sequentsinfinitary sequent system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Cites Work

• Title not available (Why is that?)
• Modal logics and mu-calculi: An introduction
• A finite model theorem for the propositional \(\mu\)-calculus
• Title not available (Why is that?)
• Results on the propositional \(\mu\)-calculus
• Proof theory. An introduction
• Cut elimination for a logic with induction and co-induction
• Deep sequent systems for modal logic
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Cut-free sequent calculi for some tense logics
• Title not available (Why is that?)
• A contraction-free and cut-free sequent calculus for propositional dynamic logic
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Syntactic cut-elimination for common knowledge
• Title not available (Why is that?)
• Canonical completeness of infinitary \(\mu \)
• Least and Greatest Fixed Points in Linear Logic
• Games for the \(\mu\)-calculus
• The variable hierarchy of the \(\mu\)-calculus is strict
• Title not available (Why is that?)
• Continuous Fragment of the mu-Calculus
• Title not available (Why is that?)
• Syntactic Cut-elimination for Common Knowledge
• Title not available (Why is that?)

Cited In (8)

• On modal \(\mu \)-calculus and Gödel-Löb logic
• Title not available (Why is that?)
• Intuitionistic common knowledge or belief
• The Proof Theory of Common Knowledge
• SMALL INFINITARY EPISTEMIC LOGICS
• Continuous Fragment of the mu-Calculus
• A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points
• A Note on Negative Tagging for Least Fixed-Point Formulae

This page was built for publication: Syntactic cut-elimination for a fragment of the modal mu-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714717)