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

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

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


Вестник ТвГУ. Серия: Прикладная математика:
Год:
Том:
Выпуск:
Страница:
Найти




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

Вестник Тверского государственного университета. Серия: Прикладная математика, 2016, выпуск 4, страницы 5–19
DOI: https://doi.org/10.26456/vtpmk25 (Mi vtpmk25) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Теоретические основы информатики

Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами

Е. А. Котиковаa, М. Н. Рыбаковabc

a Тверской государственный университет, г. Тверь
b ЗАО НИИ ЦПС, г. Тверь
c Университет Витватерсранда, г. Йоханнесбург
PDF полного текста (411 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.26456/vtpmk25
Аннотация: Рассматривается язык классической логики предикатов с равенством, обогащенный модальностями темпоральной логики $\bf CTL^\ast$. В качестве семантики для него предлагаются серийные шкалы Крипке с постоянными предметными областями. Строится погружение множества арифметических формул, истинных в стандартной модели арифметики, во множество всех модальных предикатных формул, истинных в указанном классе шкал Крипке. Извлекается ряд следствий, касающихся алгоритмических, синтаксических и семантических свойств большого класса логик в рассматриваемом языке.
Ключевые слова: логика первого порядка, логика ветвящегося времени, рекурсивная перечислимость, семантика Крипке.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-06-00298_а
16-07-01272_а
Работа выполнена при поддержке РФФИ, гранты 14–06–00298-а и 16–07–01272-а.
Поступила в редакцию: 29.08.2016
Исправленный вариант: 07.10.2016
Тип публикации: Статья
УДК: 510.52, 510.643
Образец цитирования: Е. А. Котикова, М. Н. Рыбаков, “Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами”, Вестник ТвГУ. Серия: Прикладная математика, 2016, № 4, 5–19
Цитирование в формате AMSBIB
\RBibitem{KotRyb16}
\by Е.~А.~Котикова, М.~Н.~Рыбаков
\paper Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами
\jour Вестник ТвГУ. Серия: Прикладная математика
\yr 2016
\issue 4
\pages 5--19
\mathnet{http://mi.mathnet.ru/vtpmk25}
\crossref{https://doi.org/10.26456/vtpmk25}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vtpmk25
  • https://www.mathnet.ru/rus/vtpmk/y2016/i4/p5
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Вестник Тверского государственного университета. Серия: Прикладная математика
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025