Central European University

Forschungsprojekte

• Second-Order Quantifier Elimination and Uniform Interpolation for Bath Path Logic and the Ordered Fragment We consider and extend results on basic path logic and the ordered fragment of first-order logic, both of whi…