Jump to content

Monadic second-order logic

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Fschwarzentruber (talk | contribs) at 21:14, 15 September 2016. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematical logic, monadic second order logic[1] (MSO) is the fragment of second-order logic where second-order quantification is over sets.

  1. ^ Courcelle, Professor Bruno; Engelfriet, Dr Joost (2012-01-01). Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach. Cambridge University Press. ISBN 0521898331. Retrieved 2016-09-15. {{cite book}}: Unknown parameter |isbn2= ignored (help)
Retrieved from "https://en.wikipedia.org/w/index.php?title=Monadic_second-order_logic&oldid=739624044"