×

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
PDF BibTeX XML Cite
Full Text: Link