Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
View/ Open:
URI (for links/citations):
https://elib.sfu-kras.ru/handle/2311/68378Author:
Bashmakov, Stepan I.
Башмаков, Степан И.
Date:
2018-02Journal Name:
Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics;2018 11 (1)Abstract:
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 Исследуется вопрос унификации в линейной модальной логике нетранзитивного времени с универсальной модальностью. Предлагается семантическое построение логики на линейных нетранзитивных фреймах Крипке, эффективная определимость и проективность унифицируемых формул. Найден алгоритм построения наиболее общего унификатора
Collections:
Metadata:
Show full item recordRelated items
Showing items related by title, author, creator and subject.
-
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)Рассмотрено исследование динамики системы управления с регулятором, спроектированным по предлагаемой методике параметрического синтеза ПИД-регулятора для объектов второго порядка. В качестве теоретической основы методики ... -
Перевод с русского на испанский модальной индетерминации в романе Ф.М. Достоевского «Братья Карамазовы»
Керо Хервилья, Э.Ф.; 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)Рассматривается проблемный вопрос исследования и обеспечения требуемого динамического напряженно-деформированного состояния волноводно-распределительных систем от воздействия вибрационных нагрузок на этапе вывода космических ... -
Модальные регуляторы асинхронных электроприводов
Пахомов, А.Н.; Коротков, М.Ф.; Федоренко, А.А.; Pakhomov, Alexander N.; Korotkov, Maxim F.; Fedorenko, Alexander A. (Сибирский федеральный университет. Siberian Federal University., 2013-12)Приведена методика синтеза модальных регуляторов координат векторной системы преобразователь частоты – асинхронный двигатель методом стандартных уравнений. Дана оценка качества процессов регулирования координат путем ...