KRIPKE Model and Graph queries

Описание к видео KRIPKE Model and Graph queries

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

Комментарии

Информация по комментариям в разработке