It is well-known that every first-order property on words is expressible using at most three variables. The subclass of properties expressible with only two variables is also quite interesting and wellstudied. We prove precise structure theorems that characterize the exact expressive power of first-order logic with two variables on words. Our results apply to FO2[
CITATION STYLE
Weis, P., & Immerman, N. (2007). Structure theorem and strict alternation hierarchy for FO2 on words. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4646 LNCS, pp. 343–357). Springer Verlag. https://doi.org/10.1007/978-3-540-74915-8_27
Mendeley helps you to discover research relevant for your work.