LogoTver State University Repository

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

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

[img] PDF - Published Version
421kB

Abstract

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

Abstract (en)

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

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

Repository Staff Only: item control page