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 条
  • [41] Extension rule in first order logic
    Wui, Xia
    Sun, Jigui
    Hou, Kun
    PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, VOLS 1 AND 2, 2006, : 701 - 706
  • [42] Conceptual graphs and first order logic
    Amati, G
    Ounis, I
    COMPUTER JOURNAL, 2000, 43 (01): : 1 - 12
  • [43] A first order logic classifier system
    Mellor, Drew
    GECCO 2005: Genetic and Evolutionary Computation Conference, Vols 1 and 2, 2005, : 1819 - 1826
  • [44] First order logic with domain conditions
    Wiedijk, F
    Zwanenburg, J
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 221 - 237
  • [45] Generalized interpolation in first order logic
    Borzyszkowski, T
    FUNDAMENTA INFORMATICAE, 2005, 66 (03) : 199 - 219
  • [46] FIRST ORDER PROGRAMMING LOGIC.
    Cartwright, Robert
    McCarthy, John
    1979, : 68 - 80
  • [47] First-order intensional logic
    Fitting, M
    ANNALS OF PURE AND APPLIED LOGIC, 2004, 127 (1-3) : 171 - 193
  • [48] Interpretation of a mizar-like logic in first order logic
    Dahn, I
    AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 137 - 151
  • [49] An adequate condition for the unity of solutions of first order differential equations
    Perron, O
    MATHEMATISCHE ZEITSCHRIFT, 1928, 28 : 216 - 219
  • [50] How to prove higher order theorems in first order logic
    1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
12345