Wiśniewski, A. Propositions, Possible Worlds, and Recursion. LLP 2011, 20, 73–79.