1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Admissible inferencerules of modalWCP-logics : научноеиздание Rimatskiy V. V.2024 год

Admissible inference rules of modal WCP-logics : научное издание
статья из журнала

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Admissible inference rules of modal WCP-logics : научное издание / V. V. Rimatskiy. - Текст : непосредственный // Siberian Mathematical Journal. - 2024. - Т.65, №1. - P. 180-197. - ISSN 0037-4466. - ISSN 1573-9260, DOI 10.1134/S0037446624010142.
Аннотация: We study admissible rules for the extensions of the modal logics S4 and GL with the weak co-covering property and describe some explicit independent basis for the admissible rules of these logics. The resulting basis consists of an infinite sequence of rules in compact and simple form.
Год издания: 2024
Авторы: Rimatskiy V. V.
Издательство: Pleiades Publishing, Ltd. (Плеадес Паблишинг, Лтд), Новосибирск
Источник: Siberian Mathematical Journal
Выпуск: Т.65, №1
Номера страниц: 180-197
Держатель оригинала документа: Siberian Federal University
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

Admissible InferenceRules of ModalWCP-Logics Rimatskiy V.V.2024 год

Admissible Inference Rules of Modal WCP-Logics : научное издание

  • Rimatskiy V.V.
  • 2024 год
An Explicit Basis forWCP-GloballyAdmissible InferenceRules Rimatskii V. V.2023 год

An Explicit Basis for WCP-Globally Admissible Inference Rules : научное издание

  • Rimatskii V. V.
  • 2023 год
Explicit basis foradmissible rules in-saturated tabularlogics Rimatskii V. V.2023 год

Explicit basis for admissible rules in -saturated tabular logics : научное издание

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

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

  • Римацкий Виталий Валентинович
  • 2025 год
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 год
DESCRIPTION OF MODALLOGICS WHICH ENJOYCO-COVER PROPERTY Rimatskiy V.V.2022 год

DESCRIPTION OF MODAL LOGICS WHICH ENJOY CO-COVER PROPERTY : статья из журнала

  • Rimatskiy V.V.
  • 2022 год
An explicit basis forthe admissibleinference rules ofthe modal logicsextending S4.1 AndGrz Rimatskii V.V.2009 год

An explicit basis for the admissible inference rules of the modal logics extending S4.1 And Grz : статья из журнала

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

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

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

Показать ещё

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

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

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

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

  • Rimatskiy Vitaliy V.
  • 2023 год
Unification andInference Rules inthe Multi-modal Logicof Knowledge andLinear Time LTK Bashmakov Stepan I.2016 год

Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK : статья из журнала

  • Bashmakov Stepan I.
  • 2016 год
Глобальнаядопустимость правилвывода в логике GL Римацкий В.В.2025 год

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

  • Римацкий В.В.
  • 2025 год
Construction of anexplicit basis forrules admissible inmodal system S4 Rybakov V.V.2001 год

Construction of an explicit basis for rules admissible in modal system S4 : статья из журнала

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

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

  • Рыбаков Владимир Владимирович
  • 2024 год
An explicit basis foradmissible inferencerules in table modallogics of width 2 Rimatskii V.V.2009 год

An explicit basis for admissible inference rules in table modal logics of width 2 : статья из журнала

  • Rimatskii V.V.
  • 2009 год
INTERMEDIATE LOGICSPRESERVING ADMISSIBLEINFERENCE RULES OFHEYTING CALCULUS RYBAKOV V.V.1993 год

INTERMEDIATE LOGICS PRESERVING ADMISSIBLE INFERENCE RULES OF HEYTING CALCULUS : статья из журнала

  • RYBAKOV V.V.
  • 1993 год