КВАЗИНОРМАЛЬНЫЕ НАПАРНИКИ МОДАЛЬНЫХ ЛОГИК K4 И GL

Горбунов, И.А. (2018) КВАЗИНОРМАЛЬНЫЕ НАПАРНИКИ МОДАЛЬНЫХ ЛОГИК K4 И GL. Вестник ТвГУ. Серия: Прикладная математика (4). С. 98-110. ISSN 1995-0136

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

Абстракт

В работе рассматриваются свойства реляционных рафинированных моделей квазинормальных модальных логик, содержащих формулу транзитивности

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

The paper considers properties of relational models for quasi-normal modal logics containing the transitivity formula

Тип объекта:	Статья
Сведения об авторах:	Горбунов Игорь Анатольевич доцент кафедры функционального анализа и геометрии Тверского ГУ.
Ключевые слова:	квазинормальные логики, обобщённые рафинированные шкалы с выделенными точками, решётка квазинормальных логик
Ключевые слова (англ.):	quasi-normal logics, general refined frames with distinguished points, lattice of quasi-normal logics
Категории:	5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.5 Теория алгоритмов и вычислимые функции > 510.52 Сложность алгоритмов 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.64 Неклассические, формальные логические системы
Подразделения:	Университеты > Тверской государственный университет
ID Code:	8316
Deposited By:	С.Б. Федорова
Deposited On:	15 Янв 2019 14:46
Последнее изменение:	15 Янв 2019 14:46

Repository Staff Only: item control page