модальные логики

Саул Крипке

Сол Крипке Основы семантики Крипке Семантика Крипке – это метод представления модальных логик, основанный на фреймах Крипке. Фрейм Крипке – […]

Дов Габбай Дов Габбай – израильский логик и философ, профессор вычислительной техники и философии. Габбай внес значительный вклад в области