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 条
  • [31] A Paraconsistent Linear-time Temporal Logic
    Kamide, Norihiro
    Wansing, Heinrich
    [J]. FUNDAMENTA INFORMATICAE, 2011, 106 (01) : 1 - 23
  • [32] Generalizing the modal and temporal logic of linear time
    Heinemann, B
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 41 - 56
  • [33] Time out and drop out - On the relation between linear time and individualism
    Oian, H
    [J]. TIME & SOCIETY, 2004, 13 (2-3) : 173 - 195
  • [34] Action and knowledge in alternating-time temporal logic
    Ågotnes, T
    [J]. SYNTHESE, 2006, 149 (02) : 121 - 153
  • [35] Action and Knowledge in Alternating-Time Temporal Logic
    Thomas Ågotnes
    [J]. Synthese, 2006, 149 : 375 - 407
  • [36] Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility
    Rybakov, Vladimir
    [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 364 - 375
  • [37] First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
    Belardinelli, Francesco
    Lomuscio, Alessio
    [J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 140 - 154
  • [38] First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
    Belardinelli, Francesco
    Lomuscio, Alessio
    [J]. FUNDAMENTA INFORMATICAE, 2011, 106 (2-4) : 175 - 190
  • [39] Counting Models of Linear-Time Temporal Logic
    Finkbeiner, Bernd
    Torfah, Hazem
    [J]. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014, 8370 : 360 - 371
  • [40] A tableau system for linear-TIME temporal logic
    Schmitt, PH
    GoubaultLarrecq, J
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 130 - 144
12345