Return to Article Details Propositions, possible worlds, and recursion Download Download PDF