Показать сокращенную информацию
Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
| Автор | Башмаков, С. И. | |
| Дата внесения | 2016-11-11T08:52:01Z | |
| Дата, когда ресурс стал доступен | 2016-11-11T08:52:01Z | |
| Дата публикации | 2016-05 | |
| Библиографическое описание | Башмаков, С. И. Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK [Текст] / С. И. Башмаков // Journal of Siberian Federal University - Mathematics and Physics: Mathematics and Physics. — 2016. — Т. 9 (№ 2). — С. 149-157 | |
| ISSN | 19971397 | |
| URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/27958 | |
| Аннотация | В статье исследуется унификация формул в многомодальной логике LTK и предложено синтаксическое описание всех формул, которые не являются унифицируемыми в данной логике. Рассмотрен вопрос пассивных правил вывода, показано, что в логике LTK есть конечный базис для пассивных правил | |
| Ссылка на другой сайт | http://journal.sfu-kras.ru/article/20238/20235 | |
| Тема | унификация | |
| Тема | модальная темпоральная логика | |
| Тема | пассивные правила вывода | |
| Название | Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK | |
| Тип | Journal Article | |
| Тип | Published Journal Article | |
| Страницы | 149-157 | |
| ГРНТИ | 27.03.19 | |
| Дата обновления | 2016-11-11T08:52:00Z | |
| DOI | 10.17516/1997-1397-2016-9-2-149-157 | |
| Институт | Институт математики и фундаментальной информатики | |
| Подразделение | Кафедра алгебры и математической логики | |
| Журнал | Journal of Siberian Federal University - Mathematics and Physics | |
| Квартиль журнала в Scopus | Q4 |
