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 条
  • [21] Arity hierarchy for temporal logics
    Rabinovich, Alexander
    THEORETICAL COMPUTER SCIENCE, 2008, 403 (2-3) : 373 - 381
  • [22] On Metric Temporal Description Logics
    Gutierrez-Basulto, Victor
    Jung, Jean Christoph
    Ozaki, Ana
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 837 - 845
  • [23] PROPOSITIONAL TEMPORAL LOGICS AND EQUIVALENCES
    GOLTZ, U
    KUIPER, R
    PENCZEK, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 222 - 236
  • [24] Games for temporal logics on trees
    Esik, Z.
    Ivan, Sz
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2008, 5148 : 191 - +
  • [25] Two temporal logics of contingency
    Pascucci, Matteo
    AUSTRALASIAN JOURNAL OF LOGIC, 2015, 12 (02) : 121 - 134
  • [26] Temporal description logics: A survey
    Lutz, Carsten
    Wolter, Frank
    Zakharyashev, Michael
    TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2008, : 3 - +
  • [27] An introduction to executable temporal logics
    Fisher, M
    KNOWLEDGE ENGINEERING REVIEW, 1996, 11 (01): : 43 - 56
  • [28] Reified temporal logics: An overview
    Ma, J
    Knight, B
    ARTIFICIAL INTELLIGENCE REVIEW, 2001, 15 (03) : 189 - 217
  • [29] Temporal logics for compartmental models
    Machado, Vitor
    Benevides, Mario
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [30] On Almost Future Temporal Logics
    Rabinovich, Alexander
    FIELDS OF LOGIC AND COMPUTATION II: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 75TH BIRTHDAY, 2015, 9300 : 261 - 272
12345