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

DOI10.1093/LOGCOM/EXZ007MaRDI QIDQ5213396zbMATH OpenOpenAlexWikidataFDO

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/

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)

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

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)