Wansing, H. “Seeing to It That an Agent Forms a Belief”. Logic and Logical Philosophy, vol. 10, no. 10, Jan. 2004, pp. 185–197, doi:10.12775/LLP.2002.011.