We investigate local and global paradigms of reasoning about distributed behaviours, modelled as Mazurkiewicz traces, in the context of first-order and monadic second-order logics. We describe new normal forms for properties expressible in these logics. The first normal form, surprisingly, yields a decomposition of a global property as a boolean combination of local properties. The second normal form strengthens McNaughton's theorem and states that global properties of infinite behaviours may also be described as boolean combinations of recurring properties of finite local histories of the behaviours. We briefly touch upon some of the interesting applications of these normal forms. © Springer-Verlag Berlin Heidelberg 2002.
CITATION STYLE
Adsul, B., & Sohoni, M. (2002). Local normal forms for logics over traces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2556 LNCS, pp. 47–58). Springer Verlag. https://doi.org/10.1007/3-540-36206-1_6
Mendeley helps you to discover research relevant for your work.