Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Thomas Studer. A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. Journal of Logic and Computation, 29(5):803-830, 2019. [doi]
@article{MarinkovicGOS19,
title = {A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol},
author = {Bojan Marinkovic and Paola Glavan and Zoran Ognjanovic and Thomas Studer},
year = {2019},
doi = {10.1093/logcom/exz007},
url = {https://doi.org/10.1093/logcom/exz007},
researchr = {https://researchr.org/publication/MarinkovicGOS19},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {29},
number = {5},
pages = {803-830},
}