Показать сокращенную информацию

Bashmakov, Stepan I.en
Башмаков, Степан И.ru_RU
2016-05-18T02:36:13Z
2016-05-18T02:36:13Z
2016-06
https://elib.sfu-kras.ru/handle/2311/20238
We study unification of formulas in multi-modal LTK logic and give a syntactic description of all formulas which are non-unificable in this logic. Passive inference rules are considered, it is shown that in LTK logic there is a finite basis for passive rulesen
В статье исследуется унификация формул в многомодальной логике LTK и предложено синтак- сическое описание всех формул, которые не являются унифицируемыми в данной логике. Рас- смотрен вопрос пассивных правил вывода, показано, что в логике LTK есть конечный базис для пассивных правилru_RU
enen
Сибирский федеральный университет. Siberian Federal University.en
Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics;2016 9 (2)en
unificationen
modal temporal logicen
passive inference rulesen
унификацияru_RU
модальная темпоральная логикаru_RU
пассивные правила выводаru_RU
Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTKen
Унификация и правила вывода в многомодальной логике знания и линейного времени LTKru_RU
Journal Article
Published Journal Article
Bashmakov, Stepan I.:Institute of Mathematics and Computer Science Siberian Federal University Svobodny, 79, Krasnoyarsk, 660041 Russia; krauder@mail.ruen
Башмаков, Степан И.:Институт математики и фундаментальной информатики Сибирский федеральный университет Свободный, 79, Красноярск, 660041 Россияru_RU
149–157


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию