On guarded transformation in the modal -calculus

DOI10.1093/jigpal/jzu030zbMath1405.03048arXiv1305.0648OpenAlexW2963476787MaRDI QIDQ4644509

Florian Bruse, Oliver Friedmann, Martin Lange

Publication date: 8 January 2019

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

Full work available at URL: https://arxiv.org/abs/1305.0648

zbMATH Keywords

parity gamesmodal \(\mu\)-calculusguarded transformationmodal equation systems

Mathematics Subject Classification ID

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

Related Items (4)

Deciding the unguarded modal -calculus ⋮ The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity ⋮ Unnamed Item ⋮ NP reasoning in the monotone \(\mu\)-calculus

This page was built for publication: On guarded transformation in the modal  -calculus