abstract:In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic.Shapiro (1991) and Hinman (2005) give complete introductions to the subject, with full definitions.
This bookstudies the relationship betweenautomataandmonadicsecond-orderlogic, focusing on classes of automata that describe theconcurrentbehaviorofdistributedsystems.