With respect to the S5 multi-agent epistemic logic, we define a cell to be a minimal subset of knowledge structures known in common semantically by all the agents. A cell has finite fanout if at every knowledge strcuture every agent considers only a finite number of other knowledge structures to...

With the S5 multi-agent epistemic logic we consider the canonical maps from Krpke structures to knowledge structures. We define a cell to be a minimal subset of knowledge structures known in common semantically by the agents. A cell has finite fanout if at every point every agent considers only...

n overview of the landmark contributions of Robert J. Aumann, winner of the 2005 Nobel Memorial Prize in Economic Sciences.

Conditions of information independence are important in information economics and game theory. We present notions of partial independence in Bayesian environments, and study their relationships to notions of common knowledge.

In Bayesian environments with private information, as described by the types of Harsanyi, how can types of agents be (statistically) disassociated from each other and how are such disassociations reflected in the agents' knowledge structure? Conditions studied are (i) subjective independence...

In Bayesian environments with private information, as described by the types of Harsanyi, how can types of agents be (statistically) disassociated from each other and how are such disassociations reflected in the agents’ knowledge structure? Conditions studied are (i) subjective independence...