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

DOI10.1093/LOGCOM/EXZ007zbMATH Open1442.68222OpenAlexW2938691515WikidataQ128128421 ScholiaQ128128421MaRDI QIDQ5213396FDOQ5213396

Authors: Bojan Marinković, Paola Glavan, Thomas Studer, Zoran Ognjanović 

Publication date: 3 February 2020

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/133894/

Recommendations

• A logic of blockchain updates
• A knowledge-based analysis of the blockchain protocol
• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• Taming the Complexity of Temporal Epistemic Reasoning
• Merging frameworks for interaction

zbMATH Keywords

multi-agent systemsformal modelblockchaintemporal epistemic logicspecification/verification

Mathematics Subject Classification ID

Cryptography (94A60) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Cited In (10)

• Incomplete Information and Justifications
• Modal and justification logics for multi-agent systems (invited talk)
• Probability logics for reasoning about quantum observations
• A computationally grounded logic of graded belief
• Modal epistemic logic on contracts: a doctrinal approach
• A knowledge-based analysis of the blockchain protocol
• A probabilistic temporal epistemic logic: strong completeness
• An epistemic probabilistic logic with conditional probabilities
• A logic of blockchain updates
• Probabilistic Temporal Logics

This page was built for publication: A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213396)