The mosaic method for temporal logics

被引：0
|
作者：
Marx, M
Mikulás, S
Reynolds, M
机构：
[1] Inst Log Language & Computat, NL-1018 TV Amsterdam, Netherlands
[2] Univ London Birkbeck Coll, Dept Comp Sci, London WC1E 7HX, England
[3] Murdoch Univ, Sch Informat Technol, Murdoch, WA 6150, Australia
来源：
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS | 2000年 / 1847卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The aim of this paper is to apply the mosaic method for proving complexity, Hilbert-style and tableau completeness results for Prior's temporal logic over linear flows of time. We also show how to implement the mosaic idea for automated theorem-proving. Finally we indicate the modifications required to achieve similar results for special linear flows of time and for the more expressive logic of until and since.
引用
收藏
页码：324 / 340
页数：17
相关论文
共 50 条
  • [31] On Regular Temporal Logics with Past
    Dax, Christian
    Klaedtke, Felix
    Lange, Martin
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, PROCEEDINGS, 2009, 5556 : 175 - +
  • [32] Temporal Logics of Repeating Values
    Demri, Stephane
    D'Souza, Deepak
    Gascon, Regis
    JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (05) : 1059 - 1096
  • [33] On regular temporal logics with past
    Christian Dax
    Felix Klaedtke
    Martin Lange
    Acta Informatica, 2010, 47 : 251 - 277
  • [34] On regular temporal logics with past
    Dax, Christian
    Klaedtke, Felix
    Lange, Martin
    ACTA INFORMATICA, 2010, 47 (04) : 251 - 277
  • [35] Intuitionistic Linear Temporal Logics
    Balbiani, Philippe
    Boudou, Joseph
    Dieguez, Martin
    Fernandez-Duque, David
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2020, 21 (02)
  • [36] On coarser interval temporal logics
    Munoz-Velasco, Emilio
    Pelegrin, Mercedes
    Sala, Pietro
    Sciavicco, Guido
    Eduard Stan, Ionel
    ARTIFICIAL INTELLIGENCE, 2019, 266 : 1 - 26
  • [37] INTERVAL TEMPORAL LOGICS: A JOURNEY
    Della Monica, Dario
    Goranko, Valentin
    Montanari, Angelo
    Sciavicco, Guido
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2011, (105): : 73 - 99
  • [38] BISIMULATIONS FOR INTUITIONISTIC TEMPORAL LOGICS
    Balbiani, Philippe
    Boudou, Joseph
    Dieguez, Martin
    Fernandez-Duque, David
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (08): : 2265 - 2285
  • [39] Resolution for temporal logics of knowledge
    Dixon, C
    Fisher, M
    Wooldridge, M
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 345 - 372
  • [40] Bisimulations for intuitionistic temporal logics
    Balbiani, Philippe
    Boudou, Joseph
    Diéguez, Martín
    Fernández-Duque, David
    Journal of Applied Logics, 2021, 8 (08): : 2265 - 2285
12345