possible worlds semantics

  1. REDIRECT Possible world