wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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