A Characterization Theorem for the Alternation-Free Fragment of the Modal -Calculus.

Alessandro Facchini, Yde Venema, Fabio Zanasi

Browse the full LICS paper archive.