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

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

PDF - Published Version
420kB

Abstract

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

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

Item Type:	Article
Additional Information:	Горбунов Игорь Анатольевич доцент кафедры функционального анализа и геометрии Тверского ГУ.
Uncontrolled Keywords:	квазинормальные логики, обобщённые рафинированные шкалы с выделенными точками, решётка квазинормальных логик
Keywords (en):	quasi-normal logics, general refined frames with distinguished points, lattice of quasi-normal logics
Subjects:	5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.5 Теория алгоритмов и вычислимые функции > 510.52 Сложность алгоритмов 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.64 Неклассические, формальные логические системы
Divisions:	Университеты > TverSU
ID Code:	8316
Deposited On:	15 Jan 2019 14:46
Last Modified:	15 Jan 2019 14:46

Repository Staff Only: item control page