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 条
  • [1] A general tableau method for propositional interval temporal logics
    Goranko, V
    Montanari, A
    Sciavicco, G
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2003, 2796 : 102 - 116
  • [2] Quantales and temporal logics
    Moeller, Bernhard
    Hoefner, Peter
    Struth, Georg
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2006, 4019 : 263 - 277
  • [3] Timed Temporal Logics
    Bouyer, Patricia
    Laroussinie, Francois
    Markey, Nicolas
    Ouaknine, Joel
    Worrell, James
    MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10460 : 211 - 230
  • [4] Temporal Logics of Agency
    van Benthem J.
    Pacuit E.
    Journal of Logic, Language and Information, 2010, 19 (4) : 389 - 393
  • [5] Annotated temporal logics Δ*τ
    Abe, JM
    Akama, S
    ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1952 : 217 - 226
  • [6] TEMPORAL LOGICS FOR CCS
    STIRLING, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 354 : 660 - 672
  • [7] TEMPORAL LOGICS FOR GAMES
    Aceto, Luca
    Laroussinie, Francois
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2010, (100): : 79 - 98
  • [8] Integrating temporal logics
    Chen, YF
    Liu, ZM
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 402 - 420
  • [9] Robust probabilistic temporal logics
    Zimmermann, Martin
    INFORMATION PROCESSING LETTERS, 2024, 188
  • [10] Editorial: Executable temporal logics
    Fisher, M
    Kono, S
    Orgun, MA
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 469 - 473
12345