Kripke model

  1. REDIRECT Kripke semantics#Basic definitions

{{R to section}}