1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Non-standard Logicand Reliability ofInformation : научноеиздание Rybakov Vladimir V.Kiyatkin Vladimir R.Grekovich Konstantin V.2025 год

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

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Non-standard Logic and Reliability of Information : научное издание / Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich. - Текст : непосредственный // Журнал Сибирского федерального университета. Серия: Математика и физика. - 2025. - Т. 18, № 5. - P. 680-686. - The research was financially supported by the Russian Scientific Foundation (Project No.23- 21-00213). - ISSN 1997-1397. - ISSN 2313-6022.
Аннотация: We study intransitive temporal multi-agent logic with agents’ multi-valuations for formulasletters. This logic is defined in a semantic as a set of formulas which are true at linear models with multi-valued variables and clusters of states. We propose a background for such approach and a techniquefor computation truth values of formulas. Main results concerns solvability problem, we prove that theresulting logic is decidable.
Изучается нетранзитивная временная мульти-агентная логика с мульти-означиваниями агентов для переменных и формул. Ранее время и знание моделировались с помощью моделейКрипке, структура которых выглядела как простой единый кластер с множеством отношений достижимости для агентов. Здесь мы развиваем этот подход и используем модели Крипке, которыепредставляют собой линейное нетранзитивное время и состояния, представленные произвольнымивременными кластерами для мульти-отношений достижимости агентов. Эта логика определяетсясемантически, как множество формул, истинных на линейных моделях с мульти-означиваниями переменных и кластерами состояний. Мы предлагаем обоснование такого подхода и методику вычисления истинностных значений формул. Основные результаты касаются проблемы разрешимости.Мы доказываем, что полученная логика разрешима и финитно аппроксимируема.
Год издания: 2025
Авторы: Rybakov Vladimir V. , Kiyatkin Vladimir R. , Grekovich Konstantin V.
Издательство: Сибирский федеральный университет, Красноярск
Источник: Журнал Сибирского федерального университета. Серия: Математика и физика
Выпуск: Т. 18, № 5
Номера страниц: 680-686
Держатель оригинала документа: Siberian Federal University
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

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

  • Rybakov Vladimir и др.
  • 2025 год
Interval Multi-agentLogic withReliability Operator Kiyatkin Vladimir R.Rybakov Vladimir V.2024 год

Interval Multi-agent Logic with Reliability Operator : научное издание

  • Kiyatkin Vladimir R. и др.
  • 2024 год
Intransitive TemporalMulti-agent Logicwith Agents’Multi-valuations.Decidability Grekovich Konstantin V.Rybakov Vladimir V.Rimatskiy Vitaliy V.2025 год

Intransitive Temporal Multi-agent Logic with Agents’ Multi-valuations. Decidability : научное издание

  • Grekovich Konstantin V. и др.
  • 2025 год
Разрешимостьмногоагентной логикидеревьев вычисленийCTLKRel Башмаков Степан ИгоревичСмелых Кирилл Александрович2026 год

Разрешимость многоагентной логики деревьев вычислений CTLKRel : научное издание

  • Башмаков Степан Игоревич и др.
  • 2026 год
The SatisfiabilityProblem in LinearMulti-agent KnowledgeLogic Based on N Protsenko Nikita A.Rybakov Vladimir V.2024 год

The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N : научное издание

  • Protsenko Nikita A. и др.
  • 2024 год
Criterion of GlobalAdmissibility forLogic IPC Rimatskiy Vitaliy V.2023 год

Criterion of Global Admissibility for Logic IPC : научное издание

  • Rimatskiy Vitaliy V.
  • 2023 год
Реляционная версиямногоагентной логикидеревьев вычисленийCTLK Башмаков Степан ИгоревичСмелых Кирилл Александрович2024 год

Реляционная версия многоагентной логики деревьев вычислений CTLK : научное издание

  • Башмаков Степан Игоревич и др.
  • 2024 год
Formulas ExpressingTotally NonstableTruth Values ofFormulas Rybakov Vladimir V.Kiyatkin Vladimir R.Grekovich Konstantin V.2023 год

Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание

  • Rybakov Vladimir V. и др.
  • 2023 год

Показать ещё

SatisfiabilityProblem in IntervalFP-logic Protsenko Nikita A.Rybakov Vladimir V.Rimatskiy Vitaliy V.2023 год

Satisfiability Problem in Interval FP-logic : научное издание

  • Protsenko Nikita A. и др.
  • 2023 год
A Hybrid of TenseLogic S4T andMulti-Agent Logicwith InteractingAgents Rybakov Vladimir V.Babenyshev Sergej V.2008 год

A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents : статья из журнала

  • Rybakov Vladimir V. и др.
  • 2008 год

Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" : статья из журнала

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

Interval Multi-agent Logic with Reliability Operator : статья из журнала

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

A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents : статья из журнала

  • Rybakov V. V. и др.
  • 2008 год
Bimodal ClusterTemporal Logic: LocalFiltration,Stabilization, and Decidability Petrov Kirill A.Rybakov Vladimir V.2026 год

Bimodal Cluster Temporal Logic: Local Filtration,Stabilization, and Decidability : научное издание

  • Petrov Kirill A. и др.
  • 2026 год
Мультиагентныевременныенетранзитивныелинейные логики,проблема допустимости Рыбаков Владимир Владимирович2020 год

Мультиагентные временные нетранзитивные линейные логики, проблема допустимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2020 год
Decidability ofMulti-modal Logic LTKof Linear Time andKnowledge Lukyanchuk Alexandra N.2013 год

Decidability of Multi-modal Logic LTK of Linear Time and Knowledge : научное издание

  • Lukyanchuk Alexandra N.
  • 2013 год