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

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






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


A syntactic realization theorem for justification logics

Kai Brünnler, Remo Goetschi, Roman Kuznets
Видеозаписи:
Windows Media 244.6 Mb
Flash Video 413.6 Mb
MP4 259.4 Mb

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

Kai Brünnler, Remo Goetschi, Roman Kuznets



Аннотация: Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms $d$, $t$, $b$, $4$, and $5$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for $KB5$ and $S5$ by showing that the positive introspection operator is superfluous.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024