How do I formalize bounded reachability logically, in second or higher order logic?

I was wondering if it is possible to have consensus or to formalize general definition of reachability property in graphs. If yes then what can be its fragments? For instance: If I say that...

22 June 2015 5,780 7 View