, 2015, 'On the axiomatizability of some first-order spatio-temporal theories', Synthese 192 (7), 2293-2309.