The formal specification and implementation of a modest first-order temporal logic

被引：0
|
作者：
Sachdev, S
Trudel, A
机构：
[1] Nortel Networks, Stn C, Ottawa, ON K1Y 4H7, Canada
[2] Acadia Univ, Jodrey Sch Comp Sci, Wolfville, NS B0P 1X0, Canada
来源：
INTELLIGENT PROBLEM SOLVING: METHODOLOGIES AND APPROACHES, PRODEEDINGS | 2000年 / 1821卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a, formally specified first order temporal logic. We give its syntax, semantics, and describe its implementation using the Eclipse constraint logic programming language. The main feature of the implementation is a graphical user interface. Because color coded symbols and graphs are used, the interface assumes no logical knowledge on the part of the user.
引用
收藏
页码：443 / 452
页数：10
相关论文
共 50 条
  • [1] Policy Monitoring in First-Order Temporal Logic
    Basin, David
    Klaedtke, Felix
    Mueller, Samuel
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 1 - 18
  • [2] First-order temporal logic monitoring with BDDs
    Klaus Havelund
    Doron Peled
    Dogan Ulus
    Formal Methods in System Design, 2020, 56 : 1 - 21
  • [3] Nonclausal deduction in first-order temporal logic
    Abadi, Martin, 1600, (37):
  • [4] First-order temporal logic monitoring with BDDs
    Havelund, Klaus
    Peled, Doron
    Ulus, Dogan
    FORMAL METHODS IN SYSTEM DESIGN, 2020, 56 (1-3) : 1 - 21
  • [5] Equality and monodic first-order temporal logic
    Degtyarev A.
    Fisher M.
    Lisitsa A.
    Studia Logica, 2002, 72 (2) : 147 - 156
  • [6] Proof planning for first-order temporal logic
    Castellini, C
    Smaill, A
    AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 235 - 249
  • [7] First-order logic with two variables and unary temporal logic
    Etessami, K
    Vardi, MY
    Wilke, T
    INFORMATION AND COMPUTATION, 2002, 179 (02) : 279 - 295
  • [8] First-order logic with two variables and unary temporal logic
    Etessami, K
    Vardi, MY
    Wilke, T
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 228 - 235
  • [9] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [10] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
12345