User:Berezovskiy007/Books/Kripke


 * Possible world
 * Modal logic
 * Saul Kripke
 * Kripke semantics