A SOUND AND COMPLETE AXIOMATIZATION FOR DYNAMIC TOPOLOGICAL LOGIC

被引:13
|
作者
Fernandez-Duque, David [1 ]
机构
[1] Univ Seville, Grp Computat Log, ETS Ingn Informat, E-41012 Seville, Spain
关键词
D O I
10.2178/jsl/1344862169
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Dynamic Topological Logic (DTL) is a multimodal system for reasoning about dynamical systems. It is defined semantically and, as such, most of the work done in the field has been model-theoretic. In particular, the problem of finding a complete axiomatization for the full language of DTL over the class of all dynamical systems has proven to be quite elusive. Here we propose to enrich the language to include a polyadic topological modality, originally introduced by Dawar and Otto in a different context. We then provide a sound axiomatization for DTL over this extended language, and prove that it is complete. The polyadic modality is used in an essential way in our proof
引用
收藏
页码:947 / 969
页数:23
相关论文
共 50 条
  • [21] A SOUND AND RELATIVELY COMPLETE AXIOMATIZATION OF CLARKE LANGUAGE L4
    DAMM, W
    JOSKO, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 161 - 175
  • [22] A complete axiomatization of interval temporal logic with infinite time (extended abstract)
    Moszkowski, BC
    15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 241 - 252
  • [23] A decision procedure and complete axiomatization of finite interval temporal logic with projection
    Bowman, H
    Thompson, S
    JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (02) : 195 - 239
  • [24] A sound and complete program logic for eiffel
    Nordio, Martin
    Calcagno, Cristiano
    Müller, Peter
    Meyer, Bertrand
    Lecture Notes in Business Information Processing, 2009, 33 LNBIP : 195 - 214
  • [25] A sound and complete reified temporal logic
    Zhao, Guoxing
    Ma, Jixin
    Shen, Fuxing
    Petridis, Miltos
    PROCEEDINGS OF NINTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, : 111 - +
  • [26] A Sound and Complete Logic for Algebraic Effects
    Matache, Cristina
    Staton, Sam
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2019, 2019, 11425 : 382 - 399
  • [27] A Sound and Complete Program Logic for Eiffel
    Nordio, Martin
    Calcagno, Cristiano
    Mueller, Peter
    Meyer, Bertrand
    OBJECTS, COMPONENTS, MODELS AND PATTERNS, PROCEEDINGS, 2009, 33 : 195 - +
  • [28] The Axiomatization of Propositional Logic
    Giero, Mariusz
    FORMALIZED MATHEMATICS, 2016, 24 (04): : 281 - 290
  • [29] On axiomatization of fuzzy logic
    Perovic, Aleksandar
    Jovanovic, Maja
    Jovanovic, Aleksandar
    2007 5TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS & INFORMATICS, 2007, : 44 - 46
  • [30] ON COMPLETENESS OF DYNAMIC TOPOLOGICAL LOGIC
    Slavnov, Sergey
    MOSCOW MATHEMATICAL JOURNAL, 2005, 5 (02) : 477 - 492