Communication modalities

DOI10.1007/978-3-031-64309-5_6MaRDI QIDQ7030915zbMATH OpenFDO

Authors Roman Kuznets

Publication date 7 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-64309-5_6

zbMATH Keywords

distributed systemsepistemic logicmodal logicByzantine agents

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70)

Cites work

• scientific article; zbMATH DE number 3672245 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 7450035 (Why is no real title available?)
• scientific article; zbMATH DE number 4197469 (Why is no real title available?)
• A characterization of eventual Byzantine agreement
• A new hope
• Belief as defeasible knowledge
• Dynamic epistemic logic
• Epistemic reasoning with Byzantine-faulty agents
• Fire!
• Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Logic of Communication Interpretation: How to Not Get Lost in Translation
• Observable models
• On the unusual effectiveness of logic in computer science
• Programming simultaneous actions using common knowledge
• Relating knowledge and coordinated action: the knowledge of preconditions principle
• The Byzantine Generals Problem

This page was built for publication: Communication modalities

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