, 1981, 'The finitude of the past', Aletheia. An International Journal of Philosophy 2, 235-242.
, 1994, 'Robert Adams's new anti-molinist argument', Philosophy and Phenomenological Research 54 (4), 857-861.
, 1996, 'The new B-theory's tu quoque argument', Synthese 107 (2), 249-269.
, 1999, 'On truth conditions of tensed sentence types', Synthese 120 (2), 265-270.
, 2000a, The tensed theory of time: a critical examination, Springer, Dordrecht.
, 2000b, The tenseless theory of time: a critical examination, Springer, Dordrecht.
, 2001, 'Wishing it were now some other time', Philosophy and Phenomenological Research 62 (1), 159-166.
, 2001, On the alleged metaphysical superiority of timelessness, in L. N. Oaklander (ed.), The importance of time, Dordrecht, Springer, pp. 181-186.
, 2008a, 'Elimination problems in logic: a brief history', Synthese 164 (3), 321-332.
, 2008b, 'The road to two theorems of logic', Synthese 164 (3), 333-339.
, 2017a, God and abstract objects: the coherence of theism: aseity, Springer, Dordrecht.