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 条

[21] PROOF THEORIES FOR SUPERPOSITIONS OF ADAPTIVE LOGICS
Straber, Christian
Van De Putte, Frederik
LOGIQUE ET ANALYSE, 2015, (230) : 307 - 346
[22] Proof Theory and Algebra in Substructural Logics
Terui, Kazushige
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2011, 6793 : 20 - 20
[23] Hybrid logics with infinitary proof systems
Kooi, B
de Lavalette, GR
Verbrugge, R
JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (02) : 161 - 175
[24] RELATIONAL PROOF SYSTEM FOR RELEVANT LOGICS
ORLOWSKA, E
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (04) : 1425 - 1440
[25] Relational proof systems for modal logics
Orlowska, E
PROOF THEORY OF MODAL LOGIC, 1996, 2 : 55 - 78
[26] Proof finding algorithms for implicational logics
Bunder, MW
THEORETICAL COMPUTER SCIENCE, 2000, 232 (1-2) : 165 - 186
[27] Proof theory of fuzzy logics:: Urquhart's C and related logics
Baaz, M
Ciabattoni, A
Fermüller, C
Veith, H
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 203 - 212
[28] Robust probabilistic temporal logics
Zimmermann, Martin
INFORMATION PROCESSING LETTERS, 2024, 188
[29] Editorial: Executable temporal logics
Fisher, M
Kono, S
Orgun, MA
JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 469 - 473
[30] Multiagent Temporal Logics with Multivaluations
Rybakov, V. V.
SIBERIAN MATHEMATICAL JOURNAL, 2018, 59 (04) : 710 - 720

← 1 2 3 4 5 →