Unprovability of the Logical Characterization of Bisimulation
Abstract
We quickly review labelled Markov processes (LMP) and provide a counterexample showing that in general measurable spaces, event bisimilarity and state bisimilarity differ in LMP. This shows that the logic in Desharnais [*] does not characterize state bisimulation in non-analytic measurable spaces. Furthermore we show that, under current foundations of Mathematics, such logical characterization is unprovable for spaces that are projections of a coanalytic set. Underlying this construction there is a proof that stationary Markov processes over general measurable spaces do not have semi-pullbacks. ([*] J. Desharnais, Labelled Markov Processes. School of Computer Science. McGill University, Montréal (1999))
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2010
- DOI:
- 10.48550/arXiv.1005.5142
- arXiv:
- arXiv:1005.5142
- Bibcode:
- 2010arXiv1005.5142S
- Keywords:
-
- Computer Science - Logic in Computer Science;
- 03E15;
- 28A05;
- 60Jxx;
- G.3;
- F.4.1
- E-Print:
- Extended introduction and comments