A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective
[chapter]

2014
*
Outstanding Contributions to Logic
*

One of van Benthem's seminal results is the Bisimulation Theorem characterizing modal logic as the bisimulation-invariant fragment of first-order logic. Janin and Walukiewicz extended this theorem to include fixpoint operators, showing that the modal µ-calculus µML is the bisimulation-invariant fragment of monadic second-order logic MSO. Their proof uses parity automata that operate on Kripke models, and feature a transition map defined in terms of certain fragments of monadic first-order

doi:10.1007/978-3-319-06025-5_2
fatcat:rp3ugq6esbcsbomodsj6mwh7ti