with Adar Bessos, M. B. , 2015, Topological aspects of matrix abduction 2, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, pp. 357-385.
with Laufer, A. , 2015, Topological aspects of matrix abduction 1, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, pp. 339-355.
with de Boer, M. , 2012, 'Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system]', Synthese 187 (2), 623-660.
, 2011, 'Reactive intuitionistic tableaux', Synthese 179 (2), 253-269.
with Woods, J. , 2009, Fallacies as cognitive virtues, in O. Majer, A. J. Pietarinen & T. Tulenheimo (eds.), Games, Dordrecht, Springer, pp. 57-98.
with Goncharov, S. , Zakharyaschev, M. (eds) , 2006, Mathematical problems from applied logic I: logics for the XXIst century, Springer, Dordrecht.
with Woods, J. , 2001a, 'Non-cooperation in dialogue logic', Synthese 127 (1-2), 161-186.