1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал Сибирского федерального университета. Математика и физика
  5. Выпуск 2013 г. Том 6. № 2

Decidability of Multi-modal Logic LTK of Linear Timeand Knowledge
статья из журнала

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ (L 96)
Библиографическое описание: Lukyanchuk, Alexandra. Decidability of Multi-modal Logic LTK of Linear Timeand Knowledge = Разрешимость многомодальной линейной логики знанияи времени LTK / A. N. Lukyanchuk. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2013. - Т. 6, № 2. - С. 220-226. - Библиогр.: с. 224. - ISSN 1997-1397.
Аннотация: В представленной статье используется семантический подход к построению моделей, комбинирующих модальности знания и времени. Семантически вводятся многомодальные логики LTKr и LTKir, содержащие модальности знания и времени как множество формул, истинных на фреймах специального вида. Главным результатом работы являются теоремы об эффективной финитной аппроксимируемости и, как следствие, разрешимости данных логик.
Год издания: 2013
Авторы: Lukyanchuk Alexandra
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 6, № 2
Номера страниц: 220-226
Количество экземпляров:

Всего свободно 4 из 4 экземпляров.

  • ЧЗ.6вн: свободно 1 из 1 экземпляров
  • ОНБР: свободно 1 из 1 экземпляров
  • АБ.1нт: свободно 1 из 1 экземпляров
  • ИБО.7: свободно 1 из 1 экземпляров

Похожие публикации

Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality

  • Bashmakov Stepan
  • 2018 год

Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK

  • Bashmakov Stepan
  • 2016 год

Multi-Agents` Temporal Logic using Operations of Static Agents` Knowledge

  • Rybakov Vladimir
  • 2022 год

Interval Multi-agent Logic with Reliability Operator

  • Kiyatkin Vladimir и др.
  • 2024 год

Satisfiability in a Temporal Multi-valueted Logic Based on Z

  • Kiyatkin Vladimir и др.
  • 2022 год

Bimodal Cluster Temporal Logic: Local Filtration, Stabilization, and Decidability

  • Petrov Kirill и др.
  • 2026 год

Computing Truth of Ligical Statements in Multi-Agents Environment

  • McLean David и др.
  • 2013 год

Non-standard Logic and Reliability of Information

  • Rybakov Vladimir и др.
  • 2025 год

Показать ещё