Показать сокращенную информацию
MANY–VALUED MULTI–MODAL LOGICS, SATISFIABILITY PROBLEM
Автор | Моор, Михаил Александрович | |
Автор | Рыбаков, Владимир Владимирович | |
Дата внесения | 2019-07-01T07:22:20Z | |
Дата, когда ресурс стал доступен | 2019-07-01T07:22:20Z | |
Дата публикации | 2018-08 | |
Библиографическое описание | Моор, Михаил Александрович. MANY–VALUED MULTI–MODAL LOGICS, SATISFIABILITY PROBLEM [Текст] / Михаил Александрович Моор, Владимир Владимирович Рыбаков // Siberian Electronic Mathematical Reports. — 2018. — Т. 15. — С. 829-838 | |
ISSN | 18133304 | |
URI (для ссылок/цитирований) | http://semr.math.nsc.ru/v15/p829-838.pdf | |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/110606 | |
Описание | Текст статьи не публикуется в открытом доступе в соответствии с политикой журнала. | |
Аннотация | This paper investigates many–valuated multi–modal logics. The suggested semantics consists of relational Kripke–Hintikka models which have various accessibility relations and distinct valuations for propositional statements (letters). So we study a multi–agent approach when each agent has its own accessibility relation and also its own valuation for propositional letters. We suggest the rules for computation of truth values of formulas, illustrate our approach, and study the satisfiability problem. Using a modification of the filtration technique, we obtain a solution for satisfiability problem in basic but most important wide classes of multi–valued multi–modal models. We comment on possible applications and describe open problems. | |
Тема | many–valued logic | |
Тема | multi–agent logic | |
Тема | multi–modal logic | |
Тема | computability | |
Тема | satisfiability | |
Тема | decidability | |
Тема | deciding algorithms | |
Название | MANY–VALUED MULTI–MODAL LOGICS, SATISFIABILITY PROBLEM | |
Тип | Journal Article | |
Тип | Journal Article Preprint | |
Страницы | 829-838 | |
ГРНТИ | 27.03.19 | |
Дата обновления | 2019-07-01T07:22:20Z | |
DOI | 10.17377/semi.2018.15.070 | |
Институт | Институт математики и фундаментальной информатики | |
Подразделение | Кафедра алгебры и математической логики | |
Журнал | Siberian Electronic Mathematical Reports | |
Квартиль журнала в Scopus | Q3 | |
Квартиль журнала в Web of Science | без квартиля |