possible world's semantics - Search