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

Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
статья из журнала

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ (B 29)
Библиографическое описание: Bashmakov, Stepan. Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality = Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью / S. I. Bashmakov. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2018. - Т. 11, № 1. - С. 3-9. - Библиогр.: с. 9. - ISSN jsff.
Аннотация: Исследуется вопрос унификации в линейной модальной логике нетранзитивного времени с универсальной модальностью. Предлагается семантическое построение логики на линейных нетранзитивных фреймах Крипке, эффективная определимость и проективность унифицируемых формул. Найден алгоритм построения наиболее общего унификатора.
Год издания: 2018
Авторы: Bashmakov Stepan
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 11, № 1
Номера страниц: 3-9
Количество экземпляров:

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

  • Читальный зал Б307 (пр. Свободный, 79, к. Б3-07): свободно 1 из 1 экземпляров
  • Читальный зал (пер. Вузовский, 6Д): свободно 1 из 1 экземпляров
  • Информационно-библиографический отдел (ул. Л. Прушинской, 2, к. 3-06): свободно 1 из 1 экземпляров

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

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

  • Bashmakov Stepan
  • 2016 год

Decidability of Multi-modal Logic LTK of Linear Timeand Knowledge

  • Lukyanchuk Alexandra
  • 2013 год

Synthesizing Normal and Non-Normal Modal Logics in Philosophical Epistemology Axiomatic System…

  • Lobovikov Vladimir
  • 2019 год

Criterion of Global Admissibility for Logic IPC

  • Rimatskiy Vitaliy
  • 2023 год

Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow"

  • Rimatsky Vitaliy и др.
  • 2024 год

Non-standard Logic and Reliability of Information

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

Interval Multi-agent Logic with Reliability Operator

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

Satisfiability in a Temporal Multi-valueted Logic Based on Z

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

Показать ещё