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 条
  • [41] A Hierarchical System of Linear Logic for Exponential Time Complexity
    Redmond, Brian F.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (298): : 75 - +
  • [42] Compositional verification in linear-time temporal logic
    Tsay, YK
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2000, 1784 : 344 - 358
  • [43] On Topologically Relevant Fragments of the Logic of Linear Flows of Time
    Heinemann, Bernhard
    [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015, 2015, 9160 : 27 - 37
  • [44] Runtime Verification for Linear-Time Temporal Logic
    Leucker, Martin
    [J]. ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS (SETSS 2016), 2017, 10215 : 151 - 194
  • [45] A product version of dynamic linear time temporal logic
    Henriksen, JG
    Thiagarajan, PS
    [J]. CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 45 - 58
  • [46] Temporal logic of linear time frames with inductions axiom
    Yun, V. F.
    [J]. SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2009, 6 : 312 - 325
  • [47] Polymodal logic of the class of inductive linear time frames
    Yun, V. F.
    [J]. SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2015, 12 : 421 - 431
  • [48] Verifying Linear Real-Time Logic specifications
    Andrei, Stefan
    Cheng, Albert M. K.
    [J]. RTSS 2007: 28TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2007, : 333 - +
  • [49] Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications
    Wiebe van der Hoek
    Michael Wooldridge
    [J]. Studia Logica, 2003, 75 (1) : 125 - 157
  • [50] Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications
    Wooldridge, M
    [J]. KI2002: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, 2479 : 318 - 318
12345