@inproceedings{Thomas2009PathLW, title={Path Logics with Synchronization}, author={Wolfgang Thomas}, year={2009} }

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

### Presentations referencing similar topics