1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Unification inPretabular Extensionsof S4 : научноеиздание Bashmakov S.I.2021 год

Unification in Pretabular Extensions of S4 : научное издание
статья из журнала

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Unification in Pretabular Extensions of S4 : научное издание / S. I. Bashmakov. - Текст : непосредственный // Logica Universalis. - 2021. - Т. 15, № 3. - P. 381-397. - ISSN 1661-8297, DOI 10.1007/s11787-021-00287-0.
Аннотация: L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic S4 has exactly 5 pretabular extensions PM1–PM5. In this paper, we study the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are described.
Год издания: 2021
Авторы: Bashmakov S.I.
Источник: Logica Universalis
Выпуск: Т. 15, № 3
Номера страниц: 381-397
Держатель оригинала документа: Institute of Mathematics and Computer Science,Siberian Federal University
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

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 год
Projective formulasand unification inlinear temporal logicLTLU Rybakov Vladimir2014 год

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

  • Rybakov Vladimir
  • 2014 год
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 formulti-agent temporallogics with universalmodality Bashmakov StepanKosheleva AnnaRybakov Vladimir V.2017 год

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

  • Bashmakov Stepan и др.
  • 2017 год
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 ANDFINITE MODEL PROPERTYFOR LINEAR STEP-LIKETEMPORAL MULTI-AGENTLOGIC WITH THEUNIVERSAL MODALITY Zvereva T.Yu.Bashmakov S.I.2022 год

UNIFICATION AND FINITE MODEL PROPERTY FOR LINEAR STEP-LIKE TEMPORAL MULTI-AGENT LOGIC WITH THE… : статья из журнала

  • Zvereva T.Yu. и др.
  • 2022 год
UNIFICATION PROBLEMIN NELSON’S LOGIC N4 Odintsov S.P.Rybakov V.V.2014 год

UNIFICATION PROBLEM IN NELSON’S LOGIC N4 : научное издание

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

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

  • Башмаков С. И. и др.
  • 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 год
Unification in lineartemporal logic LTL Babenyshev S.Rybakov V.2011 год

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

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

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

  • Рыбаков Владимир Владимирович
  • 2024 год
Chance discovery andunification in linearmodal logic Rybakov V.V.2011 год

Chance discovery and unification in linear modal logic : статья из журнала (материалы конференций, опубликованные в…

  • Rybakov V.V.
  • 2011 год
Структурные вопросыдиаграмм унификаторов Башмаков С. И.Брылякова Е.В.2023 год

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

  • Башмаков С. И. и др.
  • 2023 год
Multiagent TemporalLogics, UnificationProblems, andAdmissibilities Rybakov V.V.2022 год

Multiagent Temporal Logics, Unification Problems, and Admissibilities : статья из журнала

  • Rybakov V.V.
  • 2022 год
Multiagent TemporalLogics, UnificationProblems, andAdmissibilities Rybakov V.V.2022 год

Multiagent Temporal Logics, Unification Problems, and Admissibilities : научное издание

  • Rybakov V.V.
  • 2022 год
Writing out unifiersfor formulas withcoefficients inintuitionistic logic Rybakov V.V.2013 год

Writing out unifiers for formulas with coefficients in intuitionistic logic : статья из журнала

  • Rybakov V.V.
  • 2013 год