Топологiчнi та теоретико-графовi властивостi моделей Крiпке в модальнiй логiцi
Loading...
Date
2022
Authors
Кошмак, Iлля
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
В квалiфiкацiйнiй роботi розглянуто базовi поняття класичної математичної логiки. Розглянутi модальнi оператори 2 та ♢, шкали та Моделi Крiпке. Дослiдженi теоретико-графовi вiдношення в моделях Крiпке. Також, розроблена низка алгоритмiв на шкалах та моделях Крiпке.
Description
Keywords
модальна логiка, модель Крiпке, p-морфiзм, бакалаврська робота