Projective formulas and unification in linear discrete temporal multi-agent logics
Скачать файл:
URI (для ссылок/цитирований):
http://semr.math.nsc.ru/v13/p923-929.pdfhttps://elib.sfu-kras.ru/handle/2311/70282
Дата:
2016-10Журнал:
Siberian Electronic Mathematical ReportsКвартиль журнала в Scopus:
Q3Библиографическое описание:
Башмаков, Степан Игоревич. Projective formulas and unification in linear discrete temporal multi-agent logics [Текст] / Степан Игоревич Башмаков, Анна Владимировна Кошелева, Владимир Владимирович Рыбаков // Siberian Electronic Mathematical Reports. — 2016. — Т. 13. — С. 923-929Аннотация:
Данная статья продолжает наше исследование проблемы унифицируемости в многоагентных логиках. Основываясь на подходе к унификационной проблеме через проективные формулы, предложенном В. Рыбаковым и S. Ghilardi, в этой работе мы рассматриваем некоторые линейные дискретные временные логики с агентными отношениями. Мы доказываем проективность любой унифицируемой формулы в этих логиках и даем алгоритм построения наиболее общего унификатора.