Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection






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


On positive fragments of polymodal provability logic

Evgenij Dashkov
Video records:
Windows Media 105.4 Mb
Flash Video 176.4 Mb
MP4 176.4 Mb

Number of views:
This page:351
Video files:104

Evgenij Dashkov


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

Abstract: We consider positive fragments of well-known provability logics GLP and GL. The study is motivated by the fact that some important proof-theoretic applications essentially rely on the positive fragment, rather than the full system of GLP. For the fragments, we suggest sequential and equational calculi and develop an arithmetical interpretation.

Language: English

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