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

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

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



Журн. СФУ. Сер. Матем. и физ.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Журнал Сибирского федерального университета. Серия «Математика и физика», 2013, том 6, выпуск 2, страницы 220–226 (Mi jsfu303)  

Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

Decidability of multi-modal logic $LTK$ of linear time and knowledge
[Разрешимость многомодальной линейной логики знания и времени $LTK$]

Alexandra N. Lukyanchuk

Institute of Mathematics and Computer Science, Siberian Federal University, Krasnoyarsk, Russia
Список литературы:
Аннотация: В представленной статье используется семантический подход к построению моделей, комбинирующих модальности знания и времени. Семантически вводятся многомодальные логики $LTK_r$ и $LTK_{ir}$, содержащие модальности знания и времени как множество формул, истинных на фреймах специального вида. Главным результатом работы являются теоремы об эффективной финитной аппроксимируемости и, как следствие, разрешимости данных логик.
Ключевые слова: многомодальная логика, линейная временная логика, разрешимость, эффективная финитная аппроксимируемость.
Получена: 25.12.2012
Исправленный вариант: 25.01.2013
Принята: 25.02.2013
Тип публикации: Статья
УДК: 510.665
Язык публикации: английский
Образец цитирования: Alexandra N. Lukyanchuk, “Decidability of multi-modal logic $LTK$ of linear time and knowledge”, Журн. СФУ. Сер. Матем. и физ., 6:2 (2013), 220–226
Цитирование в формате AMSBIB
\RBibitem{Luk13}
\by Alexandra~N.~Lukyanchuk
\paper Decidability of multi-modal logic $LTK$ of linear time and knowledge
\jour Журн. СФУ. Сер. Матем. и физ.
\yr 2013
\vol 6
\issue 2
\pages 220--226
\mathnet{http://mi.mathnet.ru/jsfu303}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/jsfu303
  • https://www.mathnet.ru/rus/jsfu/v6/i2/p220
  • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Журнал Сибирского федерального университета. Серия "Математика и физика"
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024