RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Сиб. электрон. матем. изв., 2018, том 15, страницы 829–838 (Mi semr957)  

Математическая логика, алгебра и теория чисел

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.

DOI: https://doi.org/10.17377/semi.2018.15.070

Полный текст: PDF файл (159 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.6,519.7
MSC: 03B45,03B.50,03B.70
Поступила 12 февраля 2018 г., опубликована 6 августа 2018 г.
Язык публикации: английский

Образец цитирования: M. A. Moor, V. V. Rybakov, “Many-valued multi-modal logics, satisfiability problem”, Сиб. электрон. матем. изв., 15 (2018), 829–838

Цитирование в формате AMSBIB
\RBibitem{MooRyb18}
\by M.~A.~Moor, V.~V.~Rybakov
\paper Many-valued multi-modal logics, satisfiability problem
\jour Сиб. электрон. матем. изв.
\yr 2018
\vol 15
\pages 829--838
\mathnet{http://mi.mathnet.ru/semr957}
\crossref{https://doi.org/10.17377/semi.2018.15.070}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000454860200011}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/semr957
  • http://mi.mathnet.ru/rus/semr/v15/p829

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Просмотров:
    Эта страница:57
    Полный текст:14
    Литература:6
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020