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)

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.