|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Математическая логика, алгебра и теория чисел
Many-valued multi-modal logics, satisfiability problem
M. A. Moora, V. V. Rybakovab a Institute of Mathematics and Fundamental Informatics,
Siberian Federal University,
79 Svobodny pr.,
660041 Krasnoyarsk, Russia
b A.P. Ershov Institute of informatics systems SB RAS,
Acad. Lavrentjev pr., 6,
Novosibirsk 630090, Russia
Аннотация:
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.
Поступила 12 февраля 2018 г., опубликована 6 августа 2018 г.
Образец цитирования:
M. A. Moor, V. V. Rybakov, “Many-valued multi-modal logics, satisfiability problem”, Сиб. электрон. матем. изв., 15 (2018), 829–838
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr957 https://www.mathnet.ru/rus/semr/v15/p829
|
Статистика просмотров: |
Страница аннотации: | 184 | PDF полного текста: | 30 | Список литературы: | 22 |
|