1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Admissibility andUnification inthe Modal LogicsRelated to S4.2 :научное издание Rybakov V.V.2024 год

Admissibility and Unification in the Modal Logics Related to S4.2 : научное издание
статья из журнала

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Admissibility and Unification in the Modal Logics Related to S4.2 : научное издание / V. V. Rybakov. - Текст : непосредственный // Siberian Mathematical Journal. - 2024. - Т.65, №1. - P. 167-173. - This work was supported by the Russian Science Foundation (Grant no. 23–21–00213). - ISSN 0037-4466. - ISSN 1573-9260, DOI 10.1134/S0037446624010154.
Аннотация: We study unification and admissibility for an infinite class of modal logics. Conditions superimposed to these logics are to be decidable, Kripke complete, and generated by the classes of rooted frames possessing the greatest clusters of states (in particular, these logics extend modal logic S4.2). Given such logic $ L $ and each formula $ \alpha $ unifiable in $ L $, we construct a unifier $ \sigma $ for $ \alpha $ in $ L $, where $ \sigma $ verifies admissibility in $ L $ of arbitrary inference rules $ \alpha/\beta $ with a switched-modality conclusions $ \beta $ (i.e., $ \sigma $ solves the admissibility problem for such rules).
Год издания: 2024
Авторы: Rybakov V.V.
Издательство: Pleiades Publishing, Ltd. (Плеадес Паблишинг, Лтд), Новосибирск
Источник: Siberian Mathematical Journal
Выпуск: Т.65, №1
Номера страниц: 167-173
Держатель оригинала документа: A.P. Ershov Institute of Informatics Systems, Siberian Federal University
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

PROJECTIVE FORMULASAND UNIFICATION INLINEAR DISCRETETEMPORAL MULTI-AGENTLOGICS Bashmakov Stepan I.Kosheleva Anna V.Rybakov Vladimir2016 год

PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS : статья из журнала

  • Bashmakov Stepan I. и др.
  • 2016 год
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 год
Unification inPretabular Extensionsof S4 Bashmakov S.I.2021 год

Unification in Pretabular Extensions of S4 : научное издание

  • Bashmakov S.I.
  • 2021 год
Unification in linearmodal logic onnon-transitive timewith the universalmodality Bashmakov S.I.2018 год

Unification in linear modal logic on non-transitive time with the universal modality : статья из журнала

  • Bashmakov S.I.
  • 2018 год
Unification formulti-agent temporallogics with universalmodality Bashmakov StepanKosheleva AnnaRybakov Vladimir V.2017 год

Unification for multi-agent temporal logics with universal modality : научное издание

  • Bashmakov Stepan и др.
  • 2017 год
Admissible inferencerules in the linearlogic of knowledgeand time LTK (r) withintransitive timerelation Luk'yanchuk A.N.Rybakov V.V.2015 год

Admissible inference rules in the linear logic of knowledge and time LTK (r) with intransitive… : статья из журнала

  • Luk'yanchuk A.N. и др.
  • 2015 год
Projective formulasand unification inlinear temporal logicLTLU Rybakov Vladimir2014 год

Projective formulas and unification in linear temporal logic LTLU : статья из журнала

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

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

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

Показать ещё

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

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

  • Rimatskiy V.V.
  • 2024 год
Multi-Agent TemporalNontransitive LinearLogics and theAdmissibility Problem Rybakov V.V.2020 год

Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem : статья из журнала

  • Rybakov V.V.
  • 2020 год
Best Unifiers inTransitive ModalLogics Rybakov Vladimir V.2011 год

Best Unifiers in Transitive Modal Logics : статья из журнала

  • Rybakov Vladimir V.
  • 2011 год
Admissible inferencerules of modalWCP-logics Rimatskiy V. V.2024 год

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

  • Rimatskiy V. V.
  • 2024 год
Unifiers intransitive modallogics for formulaswith coefficients(meta-variables) Rybakov Vladimir2013 год

Unifiers in transitive modal logics for formulas with coefficients (meta-variables) : статья из журнала

  • Rybakov Vladimir
  • 2013 год
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 год
Мульти-агентныелогики свзаимодействием,унифицируемость ипроективность Рыбаков В. В.2024 год

Мульти-агентные логики с взаимодействием, унифицируемость и проективность : статья из журнала

  • Рыбаков В. В.
  • 2024 год
Unification in lineartemporal logic LTL Babenyshev S.Rybakov V.2011 год

Unification in linear temporal logic LTL : статья из журнала

  • Babenyshev S. и др.
  • 2011 год