with Horsten, L. , 2009, 'The undecidability of propositional adaptive logic', Synthese 169 (1), 217-218.
with Horsten, L. , 2007a, 'The undecidability of propositional adaptive logic', Synthese 158 (1), 41-60.