, 1995, 'A formal system for classical particle mechanics, its model-theoretic applications and space-time structure', Synthese 102 (2), 267-292.