with Baltag, A. , Solecki, S. , 2016, The logic of public announcements, common knowledge, and private suspicions, in H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.), Readings in formal epistemology, Dordrecht, Springer, pp. 773-812.
, 2006a, Applied logic: a manifesto, in D. M. Gabbay, S. Goncharov & M. Zakharyaschev (eds.), Mathematical problems from applied logic I, Dordrecht, Springer, pp. 317-343.
, 2006b, Uniform functors on sets, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 420-448.
with Baltag, A. , 2004, 'Logics for epistemic programs', Synthese 139 (2), 165-224.
with Johnson, D. E. , 1994a, 'Grammar formalisms viewed as evolving algebras', Linguistics and Philosophy 17 (6), 537-560.