A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol-Reference-Cited by-同舟云学术

A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol

Published:2019-04-10 Issue:5 Volume:29 Page:803-830
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

MarinkoviĆ Bojan¹,Glavan Paola²,OgnjanoviĆ Zoran¹,Studer Thomas³

Affiliation:

1. Mathematical Institute of the Serbian Academy of Sciences and Arts, Kneza Mihaila, Beograd, Serbia

2. Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb, Ivana Lucica, Zagreb, Croatia

3. Institute of Computer Science, University of Bern, Neubrückstrasse, Bern, Switzerland

Abstract

Abstract In this paper we provide a strongly complete axiomatization of a temporal epistemic logic in which non-rigid sets of agents are allowed. Using this framework, we prove a number of properties of the blockchain protocol with respect to the given set of axioms and premises.

Funder

Serbian Ministry of Education, Science and Technology Development through Matematički institut SANU

Ministarstvo znanosti, obrazovanja i športa republike Hrvatske

Swiss National Science Foundation

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

http://academic.oup.com/logcom/article-pdf/29/5/803/30010694/exz007.pdf

Reference39 articles.

1. Decidability and expressiveness for first-order logics of probability;Abadi;Information and Computation,1994

2. Iteration-free PDL with intersection: a complete axiomatization;Balbiani;Fundamenta Informaticae,2001

3. Deep sequent systems for modal logic;Brünnler,2006

4. A logic of blockchain updates;Brünnler,2018

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A probabilistic temporal epistemic logic: Decidability;Logic Journal of the IGPL;2023-09-04

2. Probability Logics for Reasoning About Quantum Observations;Logica Universalis;2023-04-25

3. Modal and Justification Logics for Multi-agent Systems (Invited Talk);Lecture Notes in Computer Science;2023

4. Coalition Logic for Specification and Verification of Smart Contract Upgrades;PRIMA 2022: Principles and Practice of Multi-Agent Systems;2022-11-12

5. A Probabilistic Temporal Epistemic Logic: Strong Completeness;Logic Journal of the IGPL;2022-10-31