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 条
  • [41] On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
    Caleiro, Carlos
    Vigano, Luca
    Volpe, Marco
    LOGICA UNIVERSALIS, 2013, 7 (01) : 33 - 69
  • [42] A family of temporal logics on finite trees
    Esik, Zoltan
    Ivan, Szabolcs
    PUBLICATIONES MATHEMATICAE-DEBRECEN, 2010, 77 (3-4): : 277 - 297
  • [43] AN INTRODUCTION TO MODAL AND TEMPORAL LOGICS FOR CCS
    STIRLING, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 491 : 2 - 20
  • [44] Decidable temporal and sequential relevant logics
    Kamide, Norihiro
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (02) : 403 - 432
  • [45] Implicates and reduction techniques for temporal logics
    de Guzmán, IP
    Ojeda-Aciego, M
    Valverde, A
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 27 (1-4) : 3 - 23
  • [46] Multirobot Coordination With Counting Temporal Logics
    Sahin, Yunus Emre
    Nilsson, Petter
    Ozay, Necmiye
    IEEE TRANSACTIONS ON ROBOTICS, 2020, 36 (04) : 1189 - 1206
  • [47] Temporal logics for the specification of performance and reliability
    de Alfaro, L
    STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1997, 1200 : 165 - 176
  • [48] Temporal logics for analyzing the behavior of systems
    Larnac, M
    Magnier, J
    Chapurlat, V
    COMPUTING ANTICIPATORY SYSTEMS: CASYS - FIRST INTERNATIONAL CONFERENCE, 1998, 437 : 528 - 537
  • [49] Unifying Hyper and Epistemic Temporal Logics
    Bozzelli, Laura
    Maubert, Bastien
    Pinchinat, Sophie
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 167 - 182
  • [50] Alternating Interval Based Temporal Logics
    Tian, Cong
    Duan, Zhenhua
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 694 - +
12345