МОДЕЛИРОВАНИЕ АРИФМЕТИКИ В ЯЗЫКЕ ПЕРВОГО ПОРЯДКА, ОБОГАЩЕННОМ ТЕМПОРАЛЬНЫМИ КВАНТОРАМИ

Котикова, Е.А. и Рыбаков, М.Н. (2016) МОДЕЛИРОВАНИЕ АРИФМЕТИКИ В ЯЗЫКЕ ПЕРВОГО ПОРЯДКА, ОБОГАЩЕННОМ ТЕМПОРАЛЬНЫМИ КВАНТОРАМИ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 5-19. ISSN 1995-0136

[thumbnail of elibrary_27670334_95734231 5-19.pdf]

PDF - Опубликованная версия
421kB

Абстракт

Рассматривается язык классической логики предикатов с равенством, обогащенный модальностями темпоральной логики CTL* . В качестве семантики для него предлагаются серийные шкалы Крипке с постоянными предметными областями. Строится погружение множества арифметических формул, истинных в стандартной модели арифметики, во множество всех модальных предикатных формул, истинных в указанном классе шкал Крипке. Извлекается ряд следствий, касающихся алгоритмических, синтаксических и семантических свойств большого класса логик в рассматриваемом языке

Абстракт (англ.)

We investigate the classical first-order language with equality enriched by the modalities of the computational tree logic CTL* . As a semantics for it we consider serial Kripke frames with constant domains. We construct an embedding of the truth arithmetics into the set of all formulas that are valid in the class of such frames. Then, we obtain some corollaries concerned algorithmical, syntactical, and semantical properties for a large class of logic in the language

Тип объекта:	Статья
Сведения об авторах:	Котикова Екатерина Александровна аспирант, ассистент кафедры функционального анализа и геометрии ТвГУ. Рыбаков Михаил Николаевич доцент кафедры функционального анализа и геометрии ТвГУ; инженерпрограммист ЗАО НИИ ЦПС; научный сотрудник отдела информатики и прикладной математики университета Витватерсранда, Йоханнесбург.
Ключевые слова:	логика первого порядка, логика ветвящегося времени, рекурсивная перечислимость, семантика Крипке
Ключевые слова (англ.):	first-order logic, computational tree logic, recursive enumerability, Kripke semantics
Категории:	5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.5 Теория алгоритмов и вычислимые функции > 510.52 Сложность алгоритмов 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.64 Неклассические, формальные логические системы
Подразделения:	Университеты > Тверской государственный университет
ID Code:	7874
Deposited On:	05 Сен 2018 08:28
Последнее изменение:	05 Сен 2018 08:28

Repository Staff Only: item control page