Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures.

DOI10.4230/LIPICS.MFCS.2021.24OpenAlexW3193490193MaRDI QIDQ6168438

Martin Lange, Florian Bruse, Marco Sälzer

Publication date: 8 August 2023

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2021/14464/pdf/LIPIcs-MFCS-2021-24.pdf/

zbMATH Keywords

bisimulationtemporal logicfixpoint iteration

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures.