with Molnár, A. , 2015, 'Axiomatizing relativistic dynamics using formal thought experiments', Synthese 192 (7), 2183-2222.
, 2015, 'Logic and relativity theory', Synthese 192 (7), 1937-1938.
(ed) , 2015, Synthese 192 (7).
with Andréka, H. , Németi, I. , Madarász, J. , 2012a, 'A logic road from special relativity to general relativity', Synthese 186 (3), 633-649.