An adequate first order interval logic

被引：0
|
作者：
Zhou, CC
Hansen, MR
机构：
[1] UNU, IIST, Macau, Peoples R China
[2] Tech Univ Denmark, Dept Informat Technol, DK-2800 Lyngby, Denmark
来源：
COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE | 1998年 / 1536卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper introduces left and right neighbourhoods as primitive interval modalities to define other unary and binary modalities of intervals in a first order logic with interval length. A complete first order logic for the neighbourhood modalities is presented. It is demonstrated how the logic can support formal specification and verification of liveness and fairness, and also of various notions of real analysis.
引用
收藏
页码：584 / 608
页数：25
相关论文
共 50 条
  • [1] Monitoring First-Order Interval Logic
    Havelund, Klaus
    Omer, Moran
    Peled, Doron
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 13085 LNCS : 66 - 83
  • [2] Monitoring First-Order Interval Logic
    Havelund, Klaus
    Omer, Moran
    Peled, Doron
    SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), 2021, 13085 : 66 - 83
  • [3] Representing temporal interval relationships in a first order logic for time
    Trudel, A
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 81 - 86
  • [4] First order interval temporal logic for describing and verifying digital circuits
    Northwestern Polytechnical Univ, Xi'an, China
    Xibei Gongye Daxue Xuebao, 1 (136-141):
  • [5] A complete proof system for first-order interval temporal logic with projection
    Guelev, DP
    JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (02) : 215 - 249
  • [6] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [7] First order logic, fixed point logic and linear order
    Dawar, A
    Lindell, S
    Weinstein, S
    COMPUTER SCIENCE LOGIC, 1996, 1092 : 161 - 177
  • [8] First order probabilistic logic
    Jaumard, Brigitte
    Fortin, Alexandre
    Shahriar, Istiaque
    Sultana, Razia
    NAFIPS 2006 - 2006 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, VOLS 1 AND 2, 2006, : 341 - +
  • [9] A first order logic of effects
    Mason, IA
    THEORETICAL COMPUTER SCIENCE, 1997, 185 (02) : 277 - 318
  • [10] ON FIRST ORDER LOGIC OF PROOFS
    Artemov, Sergei
    Yavorskaya , Tatiana
    MOSCOW MATHEMATICAL JOURNAL, 2001, 1 (04) : 475 - 490
12345