Enqvist S, Seifan F, Venema Y (2019)
Publication Type: Journal article
Publication year: 2019
Book Volume: 170
Pages Range: 578-641
Journal Issue: 5
DOI: 10.1016/j.apal.2018.12.004
We set up a generic framework for proving completeness results for variants of the modal mu-calculus, using tools from coalgebraic modal logic. We illustrate the method by proving two new completeness results: for the graded mu-calculus (which is equivalent to monadic second-order logic on the class of unranked tree models), and for the monotone modal mu-calculus.
APA:
Enqvist, S., Seifan, F., & Venema, Y. (2019). Completeness for mu-calculi: A coalgebraic approach. Annals of Pure and Applied Logic, 170(5), 578-641. https://dx.doi.org/10.1016/j.apal.2018.12.004
MLA:
Enqvist, Sebastian, Fatemeh Seifan, and Yde Venema. "Completeness for mu-calculi: A coalgebraic approach." Annals of Pure and Applied Logic 170.5 (2019): 578-641.
BibTeX: Download