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

被引：0

作者：

Yun, V. F. ^{[1
]}

机构：

[1] Novosibirsk State Univ, Sobolev Inst Math, Novosibirsk 630090, Russia

来源：

SIBERIAN MATHEMATICAL JOURNAL | 2015年 / 56卷 / 03期

关键词：

multi-modal logic; Kripke frame; axiomatization; completeness;

D O I：

10.1134/S0037446615030209

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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 .

引用

页码：565 / 568

页数：4

共 50 条

[1] On the linear logic of knowledge and time with intransitive time relation
V. F. Yun
[J]. Siberian Mathematical Journal, 2015, 56 : 565 - 568
[2] An axiomatization for the linear logic of knowledge and time LTKr with intransitive time relation
A. N. Luk’yanchuk
V. V. Rimatskiĭ
[J]. Siberian Mathematical Journal, 2013, 54 : 1037 - 1045
[3] An axiomatization for the linear logic of knowledge and time LTK r with intransitive time relation
Luk'yanchuk, A. N.
Rimatskii, V. V.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2013, 54 (06) : 1037 - 1045
[4] Admissible inference rules in the linear logic of knowledge and time LTKr with intransitive time relation
A. N. Luk’yanchuk
V. V. Rybakov
[J]. Siberian Mathematical Journal, 2015, 56 : 455 - 470
[5] Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation
Luk'yanchuk, A. N.
Rybakov, V. V.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2015, 56 (03) : 455 - 470
[6] Admissible inference rules in the linear logic of knowledge and time LTK
Calardo, Erica
[J]. LOGIC JOURNAL OF THE IGPL, 2006, 14 (01) : 15 - 34
[7] Linear time datalog and branching time logic
Gottlob, G
Grädel, E
Veith, H
[J]. LOGIC-BASED ARTIFICIAL INTELLIGENCE, 2000, 597 : 443 - 467
[8] Decidability of Multi-modal Logic LTK of Linear Time and Knowledge
Lukyanchuk, Alexandra N.
[J]. JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2013, 6 (02): : 220 - 226
[9] An axiomatisation for the multi-modal logic of knowledge and linear time LTK
Calardo, Erica
Rybakov, Vladimir V.
[J]. LOGIC JOURNAL OF THE IGPL, 2007, 15 (03) : 239 - 254
[10] Linear logic and elementary time
Danos, V
Joinet, JB
[J]. INFORMATION AND COMPUTATION, 2003, 183 (01) : 123 - 137

← 1 2 3 4 5 →