Bisimulation with Logic
Yong Sun · 2004
This article covers expressive power of modal logic and μ-calculus,and their game semantics. We also give game semantics of first order logic and monadic second order logic,then we use bisimulation as a core concept to relate these logic-