Browsing eNauka
Browsing by Project Justifications and non-classical reasoning
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan  ; Glavan, Paola; Ognjanović, Zoran  ; Studer, Thomas | Article | 21M21 |