In [[mathematical logic]], '''monadic second order logic'''<ref>{{CitationOuvrage|prénom1=Professor Bruno|nom1=Courcelle|prénom2=Dr Joost|nom2=Engelfriet|titre=Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach|éditeur=Cambridge University Press|date=2012-01-01|isbn=0521898331|ISBNisbn2=05218983319780521898331|lire en ligne=http://dl.acm.org/citation.cfm?id=2414243|consulté le=2016-09-15}}</ref> (MSO) is the fragment of [[Higher-order logic|second-order logic]] where second-order quantification is over sets.
<references />{{This is a redirect|from subtopic|to section}}
