Известия Российской академии наук. Серия математическая
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Изв. РАН. Сер. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Известия Российской академии наук. Серия математическая, статья будет опубликована в одном из ближайших номеров (Mi im9598)  
Теорема о реализации для модальной логики транзитивного замыкания $\mathsf{K}^+$

Д. С. Шамкановab

a Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
b Национальный исследовательский университет "Высшая школа экономики", г. Москва
Аннотация: Предложена логика свидетельств, соответствующая модальной логике транзитивного замыкания $\mathsf{K}^+$, и доказана теорема о нормальной реализации, связывающая эти системы. Данный результат установлен посредством исчисления секвенций, в котором допускаются нефундированные доказательства.
Ключевые слова: логика свидетельств, транзитивное замыкание, теоремы о реализации, циклические и нефундированные доказательства
Поступило в редакцию: 23.04.2024
Исправленный вариант: 26.08.2024
Тип публикации: Статья
УДК: 510.643, 510.649
MSC: 03B45, 03B60
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im9598
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:33
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024