A Probabilistic Temporal Epistemic Logic: Strong Completeness

被引：4
|
作者：
Ognjanovic, Zoran [1 ]
Stepic, Angelina Ilic [1 ]
Perovic, Aleksandar [2 ]
机构：
[1] Serbian Acad Arts & Sci, Math Inst, Belgrade 11000, Serbia
[2] Univ Belgrade, Fac Transport & Traff Engn, Belgrade 11000, Serbia
来源：
LOGIC JOURNAL OF THE IGPL | 2024年 / 32卷 / 01期
关键词：
DECIDABILITY; KNOWLEDGE;
D O I：
10.1093/jigpal/jzac072
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
The paper offers a formalization of reasoning about distributed multi-agent systems. The presented propositional probabilistic temporal epistemic logic PTEL is developed in full detail: syntax, semantics, soundness and strong completeness theorems. As an example, we prove consistency of the blockchain protocol with respect to the given set of axioms expressed in the formal language of the logic. We explain how to extend PTEL to axiomatize the corresponding first-order logic.
引用
收藏
页码：94 / 138
页数：45
相关论文
共 50 条
  • [31] Temporal Epistemic Logic for Perfect Recall
    Zhang Y.-Z.
    Tang X.-J.
    Ruan Jian Xue Bao/Journal of Software, 2020, 31 (12): : 3787 - 3796
  • [32] Changing Observations in Epistemic Temporal Logic
    Barriere, Aurele
    Maubert, Bastien
    Murano, Aniello
    Rubin, Sasha
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 621 - 622
  • [33] Alternating Projection Temporal Epistemic Logic
    Wang, Haiyang
    Liu, Jin
    Liu, Jing
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2022, 2023, 13854 : 142 - 149
  • [34] Dynamic Epistemic Logic and Temporal Modality
    Yap, Audrey
    DYNAMIC FORMAL EPISTEMOLOGY, 2011, 351 : 33 - 50
  • [35] Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses
    Uridia, Levan
    Walther, Dirk
    INTELIGENCIA ARTIFICIAL-IBEROAMERICAL JOURNAL OF ARTIFICIAL INTELLIGENCE, 2020, 23 (65): : 1 - 18
  • [36] Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic
    Klein, Dominik
    Rendsvig, Rasmus K.
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (06) : 1213 - 1238
  • [37] Strong completeness of lattice-valued logic
    Takano, M
    ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (05) : 497 - 505
  • [38] STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
    Aguilera, Juan P.
    Fernandez-Duque, David
    JOURNAL OF SYMBOLIC LOGIC, 2017, 82 (02) : 608 - 628
  • [39] Strong completeness of lattice-valued logic
    Mitio Takano
    Archive for Mathematical Logic, 2002, 41 : 497 - 505
  • [40] Annotated Probabilistic Temporal Logic
    Shakarian, Paulo
    Parker, Austin
    Simari, Gerardo
    Subrahmanian, Venkatramana V. S.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2011, 12 (02)
12345