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

  • Bruno Courcelle
  • Igor Walukiewicz

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.
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