Jump to content

Monadic second-order logic

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Ymblanter (talk | contribs) at 07:40, 16 September 2016 (added Category:Mathematical logic using HotCat). 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 978-0521898331. Retrieved 2016-09-15.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Monadic_second-order_logic&oldid=739678397"