The importance of the past in interval temporal logics: The case of propositional neighborhood logic

被引：4
|
作者：
机构：
[1] Della Monica, Dario
[2] Montanari, Angelo
[3] Sala, Pietro
来源：
Della Monica, D. (ddellamonica@unisa.it) | 1600年 / Springer Verlag卷 / 7360 LNCS期
关键词：
31;
D O I：
10.1007/978-3-642-29414-3_6
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Metric propositional neighborhood logic with an equivalence relation
    Angelo Montanari
    Marco Pazzaglia
    Pietro Sala
    Acta Informatica, 2016, 53 : 621 - 648
  • [32] A Propositional Dynamic Logic for Instantial Neighborhood Semantics
    Johan van Benthem
    Nick Bezhanishvili
    Sebastian Enqvist
    Studia Logica, 2019, 107 : 719 - 751
  • [33] On coarser interval temporal logics
    Munoz-Velasco, Emilio
    Pelegrin, Mercedes
    Sala, Pietro
    Sciavicco, Guido
    Eduard Stan, Ionel
    ARTIFICIAL INTELLIGENCE, 2019, 266 : 1 - 26
  • [34] 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
  • [35] A HIERARCHY OF TEMPORAL LOGICS WITH PAST
    LAROUSSINIE, F
    SCHNOEBELEN, P
    THEORETICAL COMPUTER SCIENCE, 1995, 148 (02) : 303 - 324
  • [36] The complexity of propositional linear temporal logics in simple cases
    Demri, S
    Schnoebelen, P
    INFORMATION AND COMPUTATION, 2002, 174 (01) : 84 - 103
  • [37] On regular temporal logics with past
    Christian Dax
    Felix Klaedtke
    Martin Lange
    Acta Informatica, 2010, 47 : 251 - 277
  • [38] On regular temporal logics with past
    Dax, Christian
    Klaedtke, Felix
    Lange, Martin
    ACTA INFORMATICA, 2010, 47 (04) : 251 - 277
  • [39] On Regular Temporal Logics with Past
    Dax, Christian
    Klaedtke, Felix
    Lange, Martin
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, PROCEEDINGS, 2009, 5556 : 175 - +
  • [40] A Fuzzy Propositional Logic with Temporal Intervals
    Plesniewicz, Gerald S.
    PROCEEDINGS OF THE SECOND INTERNATIONAL SCIENTIFIC CONFERENCE INTELLIGENT INFORMATION TECHNOLOGIES FOR INDUSTRY (IITI'17), VOL 1, 2018, 679 : 330 - 338
12345