Volle Referenz:

Leon Horsten, Philip Welch, "The undecidability of propositional adaptive logic", Synthese 169 (1), 2009, pp. 217-218.