Content deleted Content added
Redirecting to Second-order logic#Syntax and fragments (♐) |
monadic second order logic is a topic of itself because it is important in TCS. It deserves an article. |
||
Line 1:
In [[mathematical logic]], '''monadic second order logic'''<ref>{{Citation|date=2012-01-01|isbn=0521898331|ISBN=0521898331}}</ref> (MSO) is the fragment of [[Higher-order logic|second-order logic]] where second-order quantification is over sets.
| |||