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 条
  • [21] Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results
    Belardinelli, Francesco
    van der Hoek, Wiebe
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2748 - 2754
  • [22] Dynamic Epistemic Logic Games with Epistemic Temporal Goals
    Maubert, Bastien
    Murano, Aniello
    Pinchinat, Sophie
    Schwarzentruber, Francois
    Stranieri, Silvia
    ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 155 - 162
  • [23] Expressive Completeness for Metric Temporal Logic
    Hunter, Paul
    Ouaknine, Joel
    Worrell, James
    2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 349 - 357
  • [24] Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems
    Fu, Chen
    Turrini, Andrea
    Huang, Xiaowei
    Song, Lei
    Feng, Yuan
    Zhang, Lijun
    PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 4757 - 4763
  • [25] Expressive completeness of temporal logic of action
    Rabinovich, A
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 229 - 238
  • [26] Agreeing to disagree in probabilistic dynamic epistemic logic
    Lorenz Demey
    Synthese, 2014, 191 : 409 - 438
  • [27] Agreeing to disagree in probabilistic dynamic epistemic logic
    Demey, Lorenz
    SYNTHESE, 2014, 191 (03) : 409 - 438
  • [28] Probabilistic epistemic logic based on neighborhood semantics
    Pan, Yixin
    Guo, Meiyun
    SYNTHESE, 2024, 203 (05)
  • [29] Probabilistic logic with strong independence
    Cozman, Fabio G.
    de Campos, Cassio P.
    da Rocha, Jos Carlos F.
    ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA-SBIA 2006, PROCEEDINGS, 2006, 4140 : 612 - 621
  • [30] An interpretation of default logic in minimal temporal epistemic logic
    Engelfriet J.
    Treur J.
    Journal of Logic, Language and Information, 1998, 7 (3) : 369 - 388
12345