1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Formulas ExpressingTotally NonstableTruth Values ofFormulas : научноеиздание Rybakov Vladimir V.Kiyatkin Vladimir R.Grekovich Konstantin V.2023 год

Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание
статья из журнала

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание / Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich. - Текст : непосредственный // Известия Иркутского государственного университета. Серия: Математика. - 2023. - Т.44, №. - P. 108-115. - ISSN 1997-7670. - ISSN 2541-8785, DOI 10.26516/1997-7670.2023.44.108.
Аннотация: In this short paper we consider problem of nonstable truth values of formulas. We investigate temporal-modal logic for description of reliability information. The logic itself is generated by rather standard models on linear time. We consider intervals of nonstable truth values of formulas. This mean that the formula permanently and for a reasonably big time change its truth from true to false and vice versa. We aim to construct some technique and to find an algorithm which may recognize permanently nonstable formulas.
Рассматривается проблема нестабильности истинностных значений формул. Исследуется временная модальная логика на предмет описания надёжности информации. Логика сама по себе порождена стандартными моделями линейного времени. Рассматриваются интервалы нестабильности истинности формул в этих моделях. Это означает, что формула перманентно и в разумно большое время меняет свою истинность с истины на ложь и наоборот. Создается специальная техника и находится алгоритм, который позволит распознавать перманентную нестабильность истинности формул.
Год издания: 2023
Авторы: Rybakov Vladimir V. , Kiyatkin Vladimir R. , Grekovich Konstantin V.
Издательство: Иркутский государственный университет, Иркутск
Источник: Известия Иркутского государственного университета. Серия: Математика
Выпуск: Т.44
Номера страниц: 108-115
Держатель оригинала документа: Siberian Federal University
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

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 год
SatisfiabilityProblem in IntervalFP-logic Protsenko Nikita A.Rybakov Vladimir V.Rimatskiy Vitaliy V.2023 год

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

  • Protsenko Nikita A. и др.
  • 2023 год
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 год
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 год
Разрешимостьмногоагентной логикидеревьев вычисленийCTLKRel Башмаков Степан ИгоревичСмелых Кирилл Александрович2026 год

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

  • Башмаков Степан Игоревич и др.
  • 2026 год
Глобально допустимыеправила вывода Римацкий Виталий Валентинович2022 год

Глобально допустимые правила вывода : научное издание

  • Римацкий Виталий Валентинович
  • 2022 год
Разрешимостьглобальнойдопустимости правилвывода в логике S4 Римацкий Виталий Валентинович2025 год

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

  • Римацкий Виталий Валентинович
  • 2025 год

Показать ещё

Criterion of GlobalAdmissibility forLogic IPC Rimatskiy Vitaliy V.2023 год

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

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

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

  • Башмаков Степан Игоревич и др.
  • 2024 год
Многоагентныевременные логики,проблемы унификации идопустимости Рыбаков Владимир Владимирович2022 год

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

  • Рыбаков Владимир Владимирович
  • 2022 год
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 год
ДОПУСТИМОСТЬ ИУНИФИКАЦИЯ ВМОДАЛЬНЫХ ЛОГИКАХ,БЛИЗКИХ К S4.2 Рыбаков Владимир Владимирович2024 год

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

  • Рыбаков Владимир Владимирович
  • 2024 год
ЛИНЕЙНАЯ ВРЕМЕННАЯЛОГИКА ЗНАНИЯ LTK.SL:СЕМАНТИКА И ФИНИТНАЯАППРОКСИМИРУЕМОСТЬ Зверева Т.Ю.Башмаков С.И.2023 год

ЛИНЕЙНАЯ ВРЕМЕННАЯ ЛОГИКА ЗНАНИЯ LTK.SL: СЕМАНТИКА И ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ : доклад, тезисы доклада

  • Зверева Т.Ю. и др.
  • 2023 год
Допустимые правилавывода исемантическиесвойства модальныхлогик Римацкий Виталий Валентинович2021 год

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

  • Римацкий Виталий Валентинович
  • 2021 год
Логики ветвящегосявременисмультиагентнымиотношениями временнойдостижимости Рыбаков Владимир Владимирович2021 год

Логики ветвящегося временис мультиагентными отношениями временной достижимости : научное издание

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