Kripke Structures: Possible Worlds Semantics