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

Поиск
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 751.9 Mb

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

Dick de Jongh


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Аннотация: 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.

Язык доклада: английский

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017