Юн В. Ф.
О линейной логике знания и времени с интранзитивным отношением времени

В [1] введена линейная полимодальная логика знания и времени с интранзитивным отношением времени как множество формул, общезначимых в фреймах специального вида. В [2] введено исчисление , связанное с классом таких фреймов. В данной работе найдена формула линейной логики знания и времени с интранзитивным отношением времени, которая не выводится в исчислении .

Yun V. F.
On the linear logic of knowledge and time with intransitive time relation

In [1], there was introduced a linear multi-modal logic of knowledge and time with intransitive time relation as the set of formulas valid in frames of special kind. The article [2] proposed some calculus  that is connected with the class of these frames. In the present article we find a formula of the linear logic of knowledge and time which is underivable in .

DOI 10.17377/smzh.2015.56.320

Ключевые слова: полимодальная логика, фреймы Крипке, аксиоматизация, полнота.

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

• PDF file
• PostScript file