MSO

Symbol

 * 1)  Monadic second-order logic.