Quote by Kripke, Saul
"Possible worlds are maximally consistent sets of propositions - every proposition is true or false in each world."
"Possible worlds are maximally consistent sets of propositions - every proposition is true or false in each world."