Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction

DOI10.4230/LIPICS.CSL.2015.457zbMath1434.03073OpenAlexW2284230394MaRDI QIDQ5351974

Karoliina Lehtinen, Sandra Quickert

Publication date: 31 August 2017

Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/2015/5431/pdf/28.pdf/

zbMATH Keywords

modal mu-calculusalternation hierarchyfixpoint logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\) ⋮ Fixed-Point Elimination in the Intuitionistic Propositional Calculus ⋮ Unnamed Item

This page was built for publication: Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction