Wiśniewski, A. (2011). Propositions, possible worlds, and recursion. Logic and Logical Philosophy, 20(1-2), 73–79. https://doi.org/10.12775/LLP.2011.004