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

Marinkovic, Bojan; Glavan, Paola; Ognjanovic, Zoran; Studer, Thomas (2019). A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. Journal of logic and computation, 29(5), pp. 803-830. Oxford University Press 10.1093/logcom/exz007

[img] Text
jlc_sub_blockchain.pdf - Accepted Version
Restricted to registered users only until 1 October 2020.
Available under License Publisher holds Copyright.

Download (482kB) | Request a copy
[img] Text
exz007.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (552kB) | Request a copy

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.

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Studer, Thomas

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISSN:

0955-792X

Publisher:

Oxford University Press

Language:

English

Submitter:

Nenad Savic

Date Deposited:

14 Oct 2019 16:23

Last Modified:

23 Oct 2019 14:12

Publisher DOI:

10.1093/logcom/exz007

BORIS DOI:

10.7892/boris.133894

URI:

https://boris.unibe.ch/id/eprint/133894

Actions (login required)

Edit item Edit item
Provide Feedback