15
9
MSO
•
Theorem
Reachability on directed graphs is
not expressible in
9
MSO
•
•
What if G is a DAG ?
•
•
What if G has degree
·
k ?