A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
We investigate the expressive power of existential monadic second-order logic (monadic Σ1) on finite transition systems. In particular, we look at its power to express properties that are invariant under forms of bisimulation and compare these to properties expressible in corresponding fixed-point modal calculi. We show that on finite unary transition systems the bisimulation invariant fragment of monadic Σ1 is equivalent to bisimulation-invariant monadic second order logic itself or,doi:10.1007/978-3-540-30538-5_19 fatcat:v5ygznzd5zcprnovcpma4hm3xq