Unification in linear modal logic on non-transitive time with the universal modality

Описание

Тип публикации: статья из журнала

Год издания: 2018

Идентификатор DOI: 10.17516/1997-1397-2018-11-1-3-9

Ключевые слова: Ground unifier, Non-transitive Kripke frame, Projective formulas, Temporal modal logic, Unification

Аннотация: We investigate the question of unification in the linear modal logic on non-transitive time with the uni-versal modality. The semantic construction of logic on linear non-transitive Kripke frames is proposed, effective definability and projectivity of the

Ссылки на полный текст

Издание

Журнал: Journal of Siberian Federal University - Mathematics and Physics

Выпуск журнала: Vol. 11, Is. 1

Номера страниц: 3-9

ISSN журнала: 19971397

Издатель: Siberian Federal University

Персоны

  • Bashmakov S.I. (Institute of Mathematics and Computer Science, Siberian Federal University, Svobodny 79, Krasnoyarsk, Russian Federation)

Вхождение в базы данных