Completeness for mu-calculi: A coalgebraic approach

Enqvist S, Seifan F, Venema Y (2019)

Publication Type: Journal article

Publication year: 2019

Journal

Annals of Pure and Applied Logic Elsevier Masson

Book Volume: 170

Pages Range: 578-641

Journal Issue: 5

DOI: 10.1016/j.apal.2018.12.004

Abstract

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.

Authors with CRIS profile

Fatemeh Seifan Lehrstuhl für Informatik 8 (Theoretische Informatik)

Involved external institutions

Stockholm University / Stockholms universitet SE Sweden (SE) University of Amsterdam NL Netherlands (NL)

How to cite

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