Monadic Second Order Definability as a Common Characterization of Finite Automata, Certain Classes of Programs and Logics
Anita Wasilewska · Fundamenta Informaticae · 1985
We introduce the notion of monadic second order definability (m.s.o definability) of automata, programs and logics and point out some classes of automata (theorem 7), programs (theorem 8) and logics (theorem 9) which are m.s.o definable.