KRIPKE Model and Graph queries
ES-36. KRIPKE Model semantics of Modal logic. Box and Diamond are like universal and existential quantifiers of FOL.
ES-36. KRIPKE Model semantics of Modal logic. Box and Diamond are like universal and existential quantifiers of FOL.