with Øhrstrøm, P. , Sandborg-Petersen, U. , 2012, 'Prior's defence of Hintikka's theorem: a discussion of prior's "the logic of obligation and the obligations of the logician"', Synthese 188 (3), 449-454.