Implementing temporal logics: Tools for execution and proof

被引：0
|
作者：
Fisher, Michael [1 ]
机构：
[1] Univ Liverpool, Dept Comp Sci, Logic & Computat Grp, Liverpool L69, Merseyside, England
来源：
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS | 2006年 / 3900卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：129 / 142
页数：14
相关论文
共 50 条
  • [1] A normal form for temporal logics and its applications in theorem-proving and execution
    Fisher, M
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (04) : 429 - 456
  • [2] The logics of execution:: Cage/Gould
    During, É
    CRITIQUE, 2000, 56 (639-40) : 752 - 769
  • [3] Resolution-based proof for multi-modal temporal logics of knowledge
    Dixon, C
    Fisher, M
    SEVENTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING - TIME 2000, PROCEEDINGS, 2000, : 69 - 78
  • [4] Proof analysis in intermediate logics
    Roy Dyckhoff
    Sara Negri
    Archive for Mathematical Logic, 2012, 51 : 71 - 92
  • [5] Proof complexity of substructural logics
    Jalali, Raheleh
    ANNALS OF PURE AND APPLIED LOGIC, 2021, 172 (07)
  • [6] A proof procedure for adaptive logics
    Verdee, Peter
    LOGIC JOURNAL OF THE IGPL, 2013, 21 (05) : 743 - 766
  • [7] Logics with disjunction and proof by cases
    San-min Wang
    Petr Cintula
    Archive for Mathematical Logic, 2008, 47 : 435 - 446
  • [8] Logics with disjunction and proof by cases
    Wang, San-min
    Cintula, Petr
    ARCHIVE FOR MATHEMATICAL LOGIC, 2008, 47 (05) : 435 - 446
  • [9] PROOF THEORIES FOR SEMILATTICE LOGICS
    GIAMBRONE, S
    URQUHART, A
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (05): : 433 - 439
  • [10] Proof analysis in intermediate logics
    Dyckhoff, Roy
    Negri, Sara
    ARCHIVE FOR MATHEMATICAL LOGIC, 2012, 51 (1-2): : 71 - 92
12345