Monadic second-order logic: Difference between revisions

Revision as of 21:14, 15 September 2016

Revision as of 05:15, 16 September 2016

Line 1:

In [[mathematical logic]], '''monadic second order logic'''<ref>{{Ouvragecite book|prénom1first1=Professor Bruno|nom1last1=Courcelle|prénom2first2=Dr Joost|nom2last2=Engelfriet|titre title=Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach|éditeur publisher=Cambridge University Press|date=2012-01-01|isbn=978-0521898331|isbn2=9780521898331|lire en ligneurl=http://dl.acm.org/citation.cfm?id=2414243|consulté leaccessdate=2016-09-15}}</ref> (MSO) is the fragment of [[Higher-order logic|second-order logic]] where second-order quantification is over sets.

<references />