LogoTver State University Repository

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

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

[img] PDF - Published Version
420kB

Abstract

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

Abstract (en)

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 By: С.Б. Федорова
Deposited On:15 Jan 2019 14:46
Last Modified:15 Jan 2019 14:46

Repository Staff Only: item control page