scientific article

zbMath1483.68024arXiv1707.08751MaRDI QIDQ3384077

Joseph Y. Halpern, Rafael Pass

Publication date: 14 December 2021

Full work available at URL: https://arxiv.org/abs/1707.08751

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Knowledge representation (68T30) Network protocols (68M12)

Related Items (4)

Reasoning about knowledge and conditional probability ⋮ Modal and justification logics for multi-agent systems (invited talk) ⋮ A history based logic for dynamic preference updates ⋮ A computationally grounded logic of graded belief

Cites Work

• Unnamed Item
• Programming simultaneous actions using common knowledge
• Belief as defeasible knowledge
• Naming and identity in epistemic logic. II: A first-order logic for naming
• A Characterization of Eventual Byzantine Agreement
• The Bitcoin Backbone Protocol: Analysis and Applications
• Knowledge and common knowledge in a distributed environment
• Knowledge, probability, and adversaries
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• Analysis of the Blockchain Protocol in Asynchronous Networks

This page was built for publication: