Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
24 августа 2010 г. 09:45, г. Москва
 


Some applications of universal models

Dick de Jongh
Видеозаписи:
Windows Media 347.0 Mb
Flash Video 751.9 Mb
MP4 432.1 Mb

Количество просмотров:
Эта страница:577
Видеофайлы:212

Dick de Jongh



Аннотация: Universal models will be shown to be useful in modal logic to prove results about unifiability and the finite model property, and in intuitionistic logic in the study of Jankov's theorems.

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024