Justifying induction on modal -formulae

DOI10.1093/JIGPAL/JZU001MaRDI QIDQ4644493zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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

Cited in

(3)

• Small infinitary epistemic logics
• On the formalization of the modal -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)