# zbMATH — the first resource for mathematics

Constructive completeness for the linear-time $$\mu$$-calculus. (English) Zbl 1457.68162
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 15, 12 p. (2017).
##### MSC:
 68Q60 Specification and verification (program logics, model checking, etc.) 03B45 Modal logic (including the logic of norms) 03B70 Logic in computer science
Full Text: