RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Video Library
Archive
Most viewed videos

Search
RSS
New in collection





You may need the following programs to see the files






The eighth International сonference "Advances in Modal Logic" (AiML 2010)
August 25, 2010 09:15, Moscow
 


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
Video records:
Windows Media 237.2 Mb
Flash Video 399.2 Mb
MP4 399.2 Mb

Number of views:
This page:393
Video files:89

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


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

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

Abstract: 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.

Language: English

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017