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

Non-standard Logic and Reliability of Information
статья из журнала

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ
Библиографическое описание: Rybakov, Vladimir. Non-standard Logic and Reliability of Information = Нестандартная логика и достоверность информации / V. V. Rybakov, V. R. Kiyatkin, K. V. Grekovich. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2025. - Т. 18, № 5. - С. 680-686. - Библиогр.: с. 685-686. - ISSN 1997-1397.
Аннотация: Изучается нетранзитивная временная мульти-агентная логика с мультиозначиваниями агентов для переменных и формул.
Год издания: 2025
Авторы: Rybakov Vladimir , Kiyatkin Vladimir , Grekovich Konstantin
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 18, № 5
Номера страниц: 680-686
Количество экземпляров:

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

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

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

Interval Multi-agent Logic with Reliability Operator

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

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

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

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

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

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

  • Bashmakov Stepan
  • 2018 год

Criterion of Global Admissibility for Logic IPC

  • Rimatskiy Vitaliy
  • 2023 год

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

  • Rybakov Vladimir
  • 2022 год

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

  • Bashmakov Stepan
  • 2016 год

Transient Asymptotic Analysis of Queueing System with Non-stationary Poisson Arrivals and Server…

  • Tyulenina Yana и др.
  • 2026 год

Показать ещё