1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Multilinearmultimodal logic withsemi-reliableinformation operator: научное издание Protsenko NikitaAleksandrovichRybakov Vladimir Vladimirovich2025 год

Multilinear multimodal logic with semi-reliable information operator : научное издание
статья из журнала

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Multilinear multimodal logic with semi-reliable information operator : научное издание / N. A. Protsenko, V. V. Rybakov. - Текст : непосредственный // Сибирские электронные математические известия. - 2025. - Т. 22, № 2. - P. 1154-1163. - This work was supported by the Russian Science Foundation under grant no. 23-21-00213, https://rscf.ru/project/23-21-00213/ and by the Russian Science Foundation under grant no. 25-21-20011, https://rscf.ru/project/25-21-20011/. - ISSN 1813-3304, DOI 10.33048/semi.2025.22.071.
Аннотация: In this article we continue series of our works for the study of various logical systems and their possible interpretation in the field of computer science [1,2]. Our goal is to expand the results that were presented in the article [2]. We also wish to show another look at the models with multivaluations that were presented in [3]. The main purpose of our work is to prove that the proposed logical system is decidable. At the end of the paper we will also provide an overview of the open problems and possible studies of such system.
Год издания: 2025
Авторы: Protsenko Nikita Aleksandrovich , Rybakov Vladimir Vladimirovich
Издательство: Институт математики им. С.Л. Соболева СО РАН, Новосибирск
Источник: Сибирские электронные математические известия
Выпуск: Т. 22, № 2
Номера страниц: 1154-1163
Держатель оригинала документа: Siberian Federal University
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

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

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

  • Kiyatkin Vladimir R. и др.
  • 2024 год
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 год
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 год
NON-UNIFIABILITY INLINEAR TEMPORAL LOGICOF KNOWLEDGE WITHMULTI-AGENT RELATIONS Bashmakov S.I.Kosheleva A.V.Rybakov V.2016 год

NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание

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

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

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

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

  • Башмаков Степан Игоревич и др.
  • 2024 год
Nontransitivetemporal multiagentlogic, informationand knowledge,deciding algorithms Rybakov V.V.2017 год

Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms : научное издание

  • Rybakov V.V.
  • 2017 год
Non-standard Logicand Reliability ofInformation Rybakov Vladimir V.Kiyatkin Vladimir R.Grekovich Konstantin V.2025 год

Non-standard Logic and Reliability of Information : научное издание

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

Показать ещё

Линейная ступенчатаялогика знания$\mathcal{LTK}.{sl}$ Башмаков С. И.Зверева Т. Ю.2023 год

Линейная ступенчатая логика знания $\mathcal{LTK}.{sl}$ : статья из журнала

  • Башмаков С. И. и др.
  • 2023 год
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 год
TEMPORAL LOGIC WITHOVERLAP TEMPORALRELATIONS GENERATEDBY TIME STATESTHEMSELVES Rybakov V.V.2020 год

TEMPORAL LOGIC WITH OVERLAP TEMPORAL RELATIONS GENERATED BY TIME STATES THEMSELVES : научное издание

  • Rybakov V.V.
  • 2020 год
ДОПУСТИМОСТЬ ИУНИФИКАЦИЯ ВМОДАЛЬНЫХ ЛОГИКАХ,БЛИЗКИХ К S4.2 Рыбаков Владимир Владимирович2024 год

ДОПУСТИМОСТЬ И УНИФИКАЦИЯ В МОДАЛЬНЫХ ЛОГИКАХ, БЛИЗКИХ К S4.2 : научное издание

  • Рыбаков Владимир Владимирович
  • 2024 год
Linear Temporal LogicLTLK extended byMulti-Agent Logic K-nwith InteractingAgents Rybakov V.2009 год

Linear Temporal Logic LTLK extended by Multi-Agent Logic K-n with Interacting Agents : статья из журнала

  • Rybakov V.
  • 2009 год

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

  • Kiyatkin Vladimir и др.
  • 2024 год
Linear temporal logicwith until and next,logical consecutions Rybakov V.2008 год

Linear temporal logic with until and next, logical consecutions : статья из журнала

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

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

  • Рыбаков Владимир Владимирович
  • 2020 год