143
click to vote
FSTTCS
2010
Springer
15 years 27 days ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...