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

Open Access

14 June 1995

journal article
Published by Det Kgl. Bibliotek/Royal Danish Library in BRICS Report Series

Vol. 2 (44)
https://doi.org/10.7146/brics.v2i44.19945

Abstract

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

Keywords

GRAPH
ORDER LOGIC
MONADIC SECOND ORDER
ORDER PROPERTY
TRANSITION SYSTEMS

This publication has 0 references indexed in Scilit: