Authors: Ilić Stepić, Angelina 
Ognjanović, Zoran 
Perović, Aleksandar
Affiliations: Mathematics 
Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: A Probabilistic Temporal Epistemic Logic
First page: 33
Related Publication(s): Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021
Conference: 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia
Issue Date: Sep-2021
Rank: M34
In this paper we present a probabilistic temporal epistemic logic PTEL
suitable to reason about uncertain knowledge of a non-rigid set of agents
that can be changed during time. We define semantics for PTEL as Kripke
models with epistemic accessibility relations for agents’ knowledge, a number
of runs consisting of sequences of linearly ordered possible worlds indexed by
non-negative integers, and probability functions defined on sets of runs. Also
we provide a new formal framework in order to prove a number of properties
of the blockchain protocol concerning its uncertain behavior.
The corresponding completeness theorem and decidability of the considered logic are proven.
Keywords: multi-agent systems | temporal epistemic logic with probabilities | blockchain | formal model specification/verification
Publisher: University Center Dubrovnik, Croatia
Project: Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC 

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.