Title: Logical Approach to Automatic Sequences