Open problems in a logic of gossips

MaRDI QIDQ5018499zbMATH OpenFDO

Authors Krzysztof R. Apt, Dominik Wojtczak

Publication date 20 December 2021

Full work available at URL https://arxiv.org/abs/1907.09097, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2019.1

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• On decidability of a logic of gossips
• scientific article; zbMATH DE number 7440211
• Verification of distributed epistemic gossip protocols
• Common knowledge in a logic of gossips
• Propositional gossip protocols

Cites work

• A calculus of communicating systems
• A simple account of multi-agent epistemic planning
• A survey of gossiping and broadcasting in communication networks
• Common knowledge in a logic of gossips
• Communicating sequential processes
• Dissemination of information in communication networks. Broadcasting, gossiping, leader election, and fault-tolerance.
• Dynamic gossip
• Epistemic protocols for dynamic gossip
• How to share knowledge by gossiping
• scientific article; zbMATH DE number 2080215 (Why is no real title available?)
• scientific article; zbMATH DE number 7440211 (Why is no real title available?)
• scientific article; zbMATH DE number 6747860 (Why is no real title available?)
• scientific article; zbMATH DE number 3358479 (Why is no real title available?)
• Knowledge-based programs
• More complicated questions about maxima and minima, and some closures of NP
• Netkat, semantic foundations for networks
• On decidability of a logic of gossips
• Reachability and expectation in gossiping
• Towards an analysis of dynamic gossip in Net\textsc{kat}
• Verification of distributed epistemic gossip protocols
• When Are Two Gossips the Same?

Cited in

(5)

• Propositional gossip protocols
• The logic of gossiping
• Minimal number of calls in propositional protocols
• Strengthening gossip protocols using protocol-dependent knowledge
• You can only be lucky once: optimal gossip for epistemic goals

This page was built for publication: Open problems in a logic of gossips

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