, 2016, Sentences, belief and logical omniscience, or what does deduction tell us?, in H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.), Readings in formal epistemology, Dordrecht, Springer, pp. 627-647.
, 2011, 'Beth definability, interpolation and language splitting', Synthese 179 (2), 211-221.
with Pacuit, E. , Cogan, E. , 2006, 'The logic of knowledge based obligation', Synthese 149 (2), 311-341.
, 2002, 'Social software', Synthese 132 (3), 187-211.
, 1998, 'Length and structure of proofs', Synthese 114 (1), 41-48.
, 1995, How far can we formalize language games?, in W. Depauli Schimanovich, E. Köhler & F. Stadler (eds.), The foundational debate, Dordrecht, Springer, pp. 89-100.
, 1994, 'Vagueness and utility: the semantics of common nouns', Linguistics and Philosophy 17 (6), 521-535.
, 1983a, The problem of vague predicates, in R. S. Cohen & M. W. Wartofsky (eds.), Language, logic and method, Dordrecht, Springer, pp. 241-261.