logic_over_words (268B)
1 # Logic over words 2 3 Writing, e.g., [FO] and [MSO] over [words] 4 5 The [signature] includes: 6 7 - [order] on positions 8 - testing if a position has a specific [letter] 9 10 Up: [logic], [word] 11 12 See also: [monotone_first_order_logic], [Büchi's_theorem] 13 14 Aliases: logic on words