, 2010, 'Antirealism and universal knowability', Synthese 173 (1), 25-39.
, 1994, 'Informational variability', Synthese 99 (3), 417-456.
, 1993, 'A defense of branching quantification', Synthese 95 (3), 419-432.
, 1989, 'A number is the exponent of an operation', Synthese 81 (2), 243-265.
, 1988a, 'Game-theoretical semantics, Montague semantics, and questions', Synthese 74 (2), 207-222.