Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality

Башмаков, Степан Игоревич

doi:10.17516/1997-1397-2018-11-1-3-9

Автор:

Башмаков, Степан Игоревич

Коллективный автор:

Институт математики и фундаментальной информатики

Кафедра алгебры и математической логики

Дата:

2018-01

Журнал:

Journal of Siberian Federal University - Mathematics and Physics

Квартиль журнала в Scopus:

Квартиль журнала в Web of Science:

без квартиля

Библиографическое описание:

Башмаков, Степан Игоревич. Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality [Текст] / Степан Игоревич Башмаков // Journal of Siberian Federal University - Mathematics and Physics: Математика и физика. — 2018. — Т. 11 (№ 1). — С. 3-9

Аннотация:

We investigate the question of unification in the linear modal logic on non-transitive time with the universal modality. The semantic construction of logic on linear non-transitive Kripke frames is proposed, effective definability and projectivity of the unifiable formulas are proved. An algorithm for construction the most general unifier is found.

Коллекции:

Статьи в научных журналах (эффективный контракт) [5211]

Метаданные:

Показать полную информацию

Показаны похожие ресурсы по названию, автору или тематике.

Cultural and Anthropological Studies of Indigenous Peoples of Krasnoyarsk Krai Childhood (based on the field studies of Siberian Federal University in 2010-2013)

Koptseva, Natalia P.; Reznikova, Ksenia V.; Pimenova, Natalia N.; Kistova, Anastasia V.; Копцева, Н.П.; Резникова, К.В.; Пименова, Н.Н.; Кистова, А.В. (Сибирский федеральный университет. Siberian Federal University., 2014-08)

The article describes the genesis of the social anthropology of childhood and reveals its basic concepts. A well-reasoned statement that preservation, translation and reproduction of a specific culture are directly ...
Исследование динамики системы управления объектом второго порядка с учетом расположения действительных полюсов

Прокопьев, А.П.; Иванчура, В.И.; Емельянов, Р.Т.; Prokopev, Andrey P.; Ivanchura, Vladimir I.; Emelyanov, Rurik T. (Сибирский федеральный университет. Siberian Federal University, 2018)

Рассмотрено исследование динамики системы управления с регулятором, спроектированным по предлагаемой методике параметрического синтеза ПИД-регулятора для объектов второго порядка. В качестве теоретической основы методики ...
Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality

Bashmakov, Stepan I.; Башмаков, Степан И. (Сибирский федеральный университет. Siberian Federal University, 2018-02)

We investigate the question of unification in the linear modal logic on non-transitive time with the universal modality. The semantic construction of logic on linear non-transitive Kripke frames is proposed, effective ...
Перевод с русского на испанский модальной индетерминации в романе Ф.М. Достоевского «Братья Карамазовы»

Керо Хервилья, Э.Ф.; Quero Gervilla, Enrique F. (Сибирский федеральный университет. Siberian Federal University., 2011-10)

Теория картины мира, столь актуальная в современной науке, получила свое развитие во многом благодаря теории лингвистической относительности Сапира и Уорфа, согласно которой язык наделяет своих носителей особенной формой ...
Анализ динамического состояния волноводно-распределительных систем от воздействия вибрационных нагрузок на этапе вывода космического аппарата на орбиту

Сильченко, П.Н.; Silchenko, Petr N.; Кудрявцев, И.В.; Kudryavcev, Ilya V.; Михнёв, М.М.; Mikhnev, Mikhail M.; Халиманович, В.И.; Khalimanovich, Vladimir I.; Наговицин, В.Н.; Nagovitsin, Vasiliy N. (Сибирский федеральный университет. Siberian Federal University., 2012-06)

Рассматривается проблемный вопрос исследования и обеспечения требуемого динамического напряженно-деформированного состояния волноводно-распределительных систем от воздействия вибрационных нагрузок на этапе вывода космических ...