This is an old revision of the document!
Solving Set Constraints using Monadic Class
Definition of Monadic Class of FOL
Definition: The class of first-order logic formulas in the language that contains only unary predicates.
Decidability: special case of first-order theory of Boolean Algebras, or WS1S, so it can be decided using techniques we have seen:
- Deciding MSOL over Strings and Trees in lecture23