Modal Logic Semantics - Kripke

ES-35. Kripke frames and Kripke Semantics. Possible worlds relative to real world. something true in the world means its corresponding formula is true. Modal logic. First-order logic successor.