Path Logics with Synchronization

@inproceedings{Thomas2009PathLW,
  title={Path Logics with Synchronization},
  author={Wolfgang Thomas},
  year={2009}
}
Over trees and partial orders, chain logic and path logic are systems of monadic second-order logic in which second-order quantification is applied to paths and to chains (i.e., subsets of paths), respectively; accordingly we speak of the path theory and the chain theory of a structure. We present some known and some new results on decidability of the path… CONTINUE READING