A. Wiśniewski, “Propositions, possible worlds, and recursion”, LLP, vol. 20, no. 1-2, pp. 73–79, Jun. 2011.