Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems

Authors

  • Bruno Courcelle
  • Igor Walukiewicz

DOI:

https://doi.org/10.7146/brics.v2i44.19945

Abstract

We prove that every monadic second-order property of the unfolding
of a transition system is a monadic second-order property of the
system itself. We prove a similar result for certain graph coverings.

Downloads

Published

1995-06-14

How to Cite

Courcelle, B., & Walukiewicz, I. (1995). Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems. BRICS Report Series, 2(44). https://doi.org/10.7146/brics.v2i44.19945

Issue

No. 44 (1995): RS-44 Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.