Monadic second-order logic
In mathematical logic, monadic second order logic[1] (MSO) is the fragment of second-order logic where second-order quantification is over sets.
This page is a redirect. The following categories are used to track and monitor this redirect:
to section When appropriate, protection levels are automatically sensed, described and categorized. |