Justifying induction on modal -formulae

DOI10.1093/jigpal/jzu001zbMath1405.03046OpenAlexW2118915359MaRDI QIDQ4644493

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

Publication date: 8 January 2019

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

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

zbMATH Keywords

\(\mu\)-calculusrank functionfixed point approximations

Mathematics Subject Classification ID

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

Related Items (1)

SMALL INFINITARY EPISTEMIC LOGICS

This page was built for publication: Justifying induction on modal  -formulae