This article is cited in 1 paper

On the linear logic of knowledge and time with intransitive time relation

V. F. Yun<sup>ab

a</sup> Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
^b Novosibirsk State University, Novosibirsk, Russia

Abstract: 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 $AS_{LTK_r}$ 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 $AS_{LTK_r}$.

Keywords: multi-modal logic, Kripke frame, axiomatization, completeness.

UDC: 510.64

Received: 09.12.2014

DOI: 10.17377/smzh.2015.56.320

 English version: Siberian Mathematical Journal, 2015, 56:3, 565–568

Bibliographic databases:

• 
• 
• 
• 
•