with Knight, S. , Özgün, A. , 2019, 'Announcement as effort on topological spaces', Synthese 196 (7), 2927-2969.
with Ågotnes, T. , Wang, Y. , 2018, 'True lies', Synthese 195 (10), 4581-4615.
with Kooi, B. , 2018, Playing cards with Hintikka: an introduction to dynamic epistemic logic, in H. Van Ditmarsch & P. Sandu (eds.), Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht, Springer, pp. 237-262.
with Sandu, P.-G. (eds) , 2018, Jaakko Hintikka on knowledge and game-theoretical semantics, Springer, Dordrecht.
with Birkegaard Andersen, M. , Bolander, T. , 2017, 'Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief', Synthese 194 (7), 2447-2487.
, 2014, 'Dynamics of lying', Synthese 191 (5), 745-777.
with Herzig, A. , 2009, 'Introspective forgetting', Synthese 169 (2), 405-423.
with Hill, B. , Majer, O. , 2009, 'Logic of change, change of logic', Synthese 171 (2), 227-234.
with Hill, B. , Majer, O. (eds) , 2009, Synthese 171 (2).
, 2007, 'Comments to "logics of public communications"', Synthese 158 (2), 181-187.
with Labuschagne, W. , 2007, 'My beliefs about your beliefs: a case study in theory of mind and epistemic logic', Synthese 155 (2), 191-209.
, 2006, 'The logic of pit', Synthese 149 (2), 343-374.
with Kooi, B. , 2006a, 'The secret of my success', Synthese 151 (2), 201-232.
with Kooi, B. , 2006b, 'The secret of my success', Synthese 153 (2), 339-339.
, 2005a, 'Prolegomena to dynamic logic for belief revision', Synthese 147 (2), 229-275.