Lecture Notes on Monadic First- and Second-Order Logic on Strings

Dino Mandrioli, Davide Martinenghi, Angelo Morzenti +2

These notes present the essentials of first- and second-order monadic logics on strings with introductory purposes. We discuss Monadic First-Order logic and show that it is strictl…