Показать сокращенную информацию
Projective formulas and unification in linear discrete temporal multi-agent logics
| Автор | Башмаков, Степан Игоревич | |
| Автор | Кошелева, Анна Владимировна | |
| Автор | Рыбаков, Владимир Владимирович | |
| Дата внесения | 2018-02-07T07:34:33Z | |
| Дата, когда ресурс стал доступен | 2018-02-07T07:34:33Z | |
| Дата публикации | 2016-10 | |
| Библиографическое описание | Башмаков, Степан Игоревич. Projective formulas and unification in linear discrete temporal multi-agent logics [Текст] / Степан Игоревич Башмаков, Анна Владимировна Кошелева, Владимир Владимирович Рыбаков // Siberian Electronic Mathematical Reports. — 2016. — Т. 13. — С. 923-929 | |
| ISSN | 18133304 | |
| URI (для ссылок/цитирований) | http://semr.math.nsc.ru/v13/p923-929.pdf | |
| URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/70282 | |
| Аннотация | Данная статья продолжает наше исследование проблемы унифицируемости в многоагентных логиках. Основываясь на подходе к унификационной проблеме через проективные формулы, предложенном В. Рыбаковым и S. Ghilardi, в этой работе мы рассматриваем некоторые линейные дискретные временные логики с агентными отношениями. Мы доказываем проективность любой унифицируемой формулы в этих логиках и даем алгоритм построения наиболее общего унификатора. | |
| Тема | унификация | |
| Тема | модальная временная логика | |
| Тема | пассивные правила вывода | |
| Тема | проективные формулы | |
| Тема | агентные отношения | |
| Название | Projective formulas and unification in linear discrete temporal multi-agent logics | |
| Тип | Journal Article | |
| Тип | Journal Article Preprint | |
| Страницы | 923-929 | |
| ГРНТИ | 27.03.19 | |
| Дата обновления | 2018-02-07T07:34:33Z | |
| DOI | 10.17377/semi.2016.13.074 | |
| Институт | Институт математики и фундаментальной информатики | |
| Подразделение | Кафедра алгебры и математической логики | |
| Журнал | Siberian Electronic Mathematical Reports | |
| Квартиль журнала в Scopus | Q3 |
