Justifying induction on modal -formulae

DOI10.1093/JIGPAL/JZU001zbMATH Open1405.03046OpenAlexW2118915359MaRDI QIDQ4644493FDOQ4644493

Authors: Luca Alberucci, Jürg Krähenbühl, Thomas Studer 

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/00f4423e7dd89bc00c5171fa454ec6d9ab98261a

Recommendations

• The modal \(\mu \)-calculus hierarchy over restricted classes of transition systems
• On modal \(\mu \)-calculus and Gödel-Löb logic
• On the expressivity of the modal mu-calculus
• Syntactic cut-elimination for a fragment of the modal mu-calculus
• Deciding the first levels of the modal \(\mu\) alternation hierarchy by formula construction

zbMATH Keywords

rank function\(\mu\)-calculusfixed point approximations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Cited In (3)

• Small infinitary epistemic logics
• On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions
• A formalization of Brouwer's argument for bar induction

This page was built for publication: Justifying induction on modal \(\mu\)-formulae

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