Wiśniewski, A. “Propositions, Possible Worlds, and Recursion”. Logic and Logical Philosophy, vol. 20, no. 1-2, June 2011, pp. 73–79, doi:10.12775/LLP.2011.004.