Axiomatizing eventual common knowledge

DOI10.1007/978-3-032-33486-2_3MaRDI QIDQ7411239zbMATH OpenFDO

Authors Roman Kuznets, Thomas Studer

Publication date 2027

Full work available at URL https://doi.org/10.1007/978-3-032-33486-2_3

zbMATH Keywords

axiomatizationeventual common knowledgefixed point

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites work

• A knowledge-based analysis of the blockchain protocol
• A logic of blockchain updates
• A probabilistic temporal epistemic logic: decidability
• A probabilistic temporal epistemic logic: strong completeness
• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• Admissible Sets and Structures
• Common knowledge with probability 1
• Concurrent common knowledge: Defining agreement for asynchronous systems
• Dynamic epistemic logic
• Fire!
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• Knowledge and common knowledge in a distributed environment
• Knowledge, probability, and adversaries
• Probabilistic consensus of the blockchain protocol
• Two ways to common knowledge

This page was built for publication: Axiomatizing eventual common knowledge

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