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

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





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






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


A complete proof system for a dynamic epistemic logic based upon finite $\pi$-calculus processes

Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández-Quiroz
Видеозаписи:
Windows Media 237.2 Mb
Flash Video 399.2 Mb
MP4 399.2 Mb

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

Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández-Quiroz


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

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

Аннотация: The pi-calculus process algebra describes the interaction of concurrent and communicating processes. In this paper we present the syntax and semantics of a dynamic epistemic logic for multi-agent systems, where the epistemic actions are finite processes in the pi-calculus. We then extend the language to include actions from a specified set of action structures. We define a proof system for the extended language, and prove the completeness of the proof system. Thus any valid formula in the original language without action structures can be proved in the proof system for the extended language.

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

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