with Eder, G. , 2015, 'Formal reconstructions of st. Anselm's ontological argument', Synthese 192 (9), 2795-2825.