Second-Order Quantifier Elimination and Uniform Interpolation for Bath Path Logic and the Ordered Fragment

Renate A. Schmidt, Hongkai Yin

We consider and extend results on basic path logic and the ordered fragment of first-order logic, both of which originate from the functional translation of modal logic. Basic path…