Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью

Bashmakov, Stepan I.; Башмаков, Степан И.

Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью

Bashmakov, Stepan I., Башмаков, Степан И.

Дата публикации: 2018-02

Дата публикации в реестре: 2020-03-31T23:46:56Z

Аннотация:

Исследуется вопрос унификации в линейной модальной логике нетранзитивного времени с универсальной модальностью. Предлагается семантическое построение логики на линейных нетранзитивных фреймах Крипке, эффективная определимость и проективность унифицируемых формул. Найден алгоритм построения наиболее общего унификатора

Ключевые слова:
temporal modal logic, non-transitive Kripke frame, unification, ground unifier, projective formulas, временная модальная логика, нетранзитивный фрейм Крипке, унификация, граунд–унификатор, проективные формулы

Тип: Journal Article