scientific article; zbMATH DE number 6886278

zbMath1444.68255MaRDI QIDQ4564781

Krzysztof R. Apt, Dominik Wojtczak

Publication date: 12 June 2018

Full work available at URL: https://www.jair.org/index.php/jair/article/view/11204

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

zbMATH Keywords

group communicationsknowledge based programpoint-to-point communications

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Agent technology and artificial intelligence (68T42)

Related Items (9)

Propositional gossip protocols ⋮ Everyone knows that everyone knows ⋮ To be announced ⋮ Epistemic planning: perspectives on the special issue ⋮ The logic of secrets and the interpolation rule ⋮ The limits to gossip: second-order shared knowledge of all secrets is unsatisfiable ⋮ Minimal number of calls in propositional protocols ⋮ The logic of gossiping ⋮ Unnamed Item

This page was built for publication: