1. Главная
  2. Ресурсы
  3. Библиотечный поиск
×

Сообщение об ошибке

Электронный каталог библиотеки временно недоступен, поэтому сведения могут отсутствовать, быть неполными или устаревшими.
Глобальнаядопустимость правилвывода в логике GL Римацкий В.В.2025 год

Глобальная допустимость правил вывода в логике GL
статья из журнала

База данных: Каталог библиотеки СФУ
Аннотация: The problem of decidability of global admissibility of GL logic rules, i.e. admissibility of an inference rule in all nitely approximable (tabular) extensions of GL logic at once, is investigated. For rules whose model satis es certain natural properties, a necessary and su cient condition for global admissibility in GL logic is obtained. Based on the obtained description, an algorithm for checking the global admissibility of an arbitrary rule in reduced form is constructed. Thus, the problem of global admissibility in GL logic is decidable.
Год издания: 2025
Авторы: Римацкий В.В.
Источник: Сибирские электронные математические известия

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

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

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

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

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

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

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

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

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

  • Рыбаков Владимир Владимирович
  • 2024 год
Допустимые правилавывода исемантическиесвойства модальныхлогик Римацкий Виталий Валентинович2021 год

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

  • Римацкий Виталий Валентинович
  • 2021 год
НЕЗАВИСИМЫЙ БАЗИСДОПУСТИМЫХ ПРАВИЛВЫВОДА ПРЕДТАБЛИЧНЫХЛОГИК И ИХ РАСШИРЕНИЙ Римацкий Виталий ВалентиновичКияткин Владимир Ростиславович2013 год

НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ : статья из журнала

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

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

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

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

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

Показать ещё

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

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

  • Башмаков С. И. и др.
  • 2023 год
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 год
Базисы допустимыхправил K-насыщенныхлогик Римацкий Виталий Валентинович2008 год

Базисы допустимых правил K-насыщенных логик : научное издание

  • Римацкий Виталий Валентинович
  • 2008 год
Criterion of GlobalAdmissibility forLogic IPC Rimatskiy Vitaliy V.2023 год

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

  • Rimatskiy Vitaliy V.
  • 2023 год
АКСИОМАТИЗАЦИЯИНТУИЦИОНИСТСКИХЛОГИК, ОПРЕДЕЛЯЕМЫХМАЛЫМИ ФРЕЙМАМИ Башмаков Степан ИгоревичГолованов Михаил Иванович2017 год

АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ : научное издание

  • Башмаков Степан Игоревич и др.
  • 2017 год
Admissible inferencerules of modalWCP-logics Rimatskiy V. V.2024 год

Admissible inference rules of modal WCP-logics : научное издание

  • Rimatskiy V. V.
  • 2024 год
Admissibility andUnification inthe Modal LogicsRelated to S4.2 Rybakov V.V.2024 год

Admissibility and Unification in the Modal Logics Related to S4.2 : научное издание

  • Rybakov V.V.
  • 2024 год
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 год