Title of article
Monadic second-order logic, graph coverings and unfoldings of transition systems Original Research Article
Author/Authors
Bruno Courcelle، نويسنده , , Igor Walukiewicz، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
28
From page
35
To page
62
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. An unfolding is an instance of the general notion of graph covering. We consider two more instances of this notion. A similar result is possible for one of them but not for the other.
Keywords
Second-order logic , Rabin automaton , Semantics , Graph covering , Infinite tree , Transition Systems
Journal title
Annals of Pure and Applied Logic
Serial Year
1998
Journal title
Annals of Pure and Applied Logic
Record number
896122
Link To Document