Дов Габбай — Википедия
Дов Габбай Биография Дова Габбая Израильский логик и философ, профессор в области компьютерных наук. Известен работами в области искусственного интеллекта, […]
Вики
модальные логики
Вики
Саул Крипке — Википедия
Сол Крипке Основы семантики Крипке Семантика Крипке — это метод представления модальных логик, основанный на фреймах Крипке. Фрейм Крипке —
Вики
Дов Габбай — Википедия
Дов Габбай Дов Габбай — израильский логик и философ, профессор вычислительной техники и философии. Габбай внес значительный вклад в области