Multi-Structural Games and Number of Quantifiers
Ronald Fagin, Jonathan Lenchner, et al.
LICS 2021
We consider the issue of what an agent or a processor needs to know in order to know that its messages are true. This may be viewed as a first step to a general theory of cooperative communication in distributed systems. An honest message is one that is known to be true when it is sent (or said). If every message that is sent is honest, then of course every message that is sent is true. Various weaker considerations than honesty are investigated with the property that provided every message sent satisfies the condition, then every message sent is true. © 1988 Kluwer Academic Publishers.
Ronald Fagin, Jonathan Lenchner, et al.
LICS 2021
Ronald Fagin, Joseph Y. Halpern
Artificial Intelligence
Joseph Y. Halpern
Journal of Philosophical Logic
Danny Dolev, Joseph Y. Halpern, et al.
Information and Computation