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

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





Для просмотра файлов Вам могут потребоваться






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


Relevant agents

Marta Bílková, Ondrej Majer, Michal Peliš, Greg Restall
Видеозаписи:
Windows Media 176.2 Mb
Flash Video 336.2 Mb
MP4 336.2 Mb

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

Marta Bílková, Ondrej Majer, Michal Peliš, Greg Restall


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

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

Аннотация: Majer and Peliš proposed a relevant logic for epistemic agents, providing a novel extension of the relevant logic $\mathsf{R}$ with a distinctive epistemic modality $K$, which is at the one and the same time factive ($K\varphi\to\varphi$ is a theorem) and an existential normal modal operator $(K(\varphi\vee\psi)\to(K\varphi\vee K\psi)$ is also a theorem). The intended interpretation is that $K\varphi$ holds (relative to a situation $s$) if there is a resource available at $s$, confirming $\varphi$. In this article we expand the class of models to the broader class of ‘general epistemic frames’. With this generalisation we provide a sound and complete axiomatisation for the logic of general relevant epistemic frames. We also show, that each of the modal axioms characterises some natural subclasses of general frames.

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

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