Лукьянчук А. Н., Рыбаков В. В.
Допустимые правила вывода линейной логики знания и времени LTK_r с интранзитивным отношением времени

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

Luk’yanchuk A. N., Rybakov V. V.
Admissible inference rules in the linear logic of knowledge and time LTK_r with intransitive time relation

We obtain a necessary condition and a sufficient condition for the admissibility of inference rules of the linear multi-modal logic of knowledge and time LTK_r with reflexive and intransitive time relation. We also construct a special n-characterizing model for this logic.

DOI 10.17377/smzh.2015.56.309

Ключевые слова: многомодальная логика, временная логика, логика знания, n-характеристическая модель, допустимость правил вывода.

Полный текст статьи / Full texts:

• PDF file
• PostScript file