Back to Search
Start Over
Bisimulation invariant monadic-second order logic in the finite.
- Source :
-
Theoretical Computer Science . Jul2020, Vol. 823, p26-43. 18p. - Publication Year :
- 2020
-
Abstract
- We consider bisimulation-invariant monadic second-order logic over various classes of finite transition systems. We present several combinatorial characterisations of when the expressive power of this fragment coincides with that of the modal μ -calculus. Using these characterisations we prove for some simple classes of transition systems that this is indeed the case. In particular, we show that, over the class of all finite transition systems with Cantor–Bendixson rank at most k , bisimulation-invariant Image 1 coincides with L μ. [ABSTRACT FROM AUTHOR]
- Subjects :
- *BISIMULATION
*LOGIC
*FINITE, The
*ORDER
Subjects
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 823
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 143044966
- Full Text :
- https://doi.org/10.1016/j.tcs.2020.03.001