In this overview paper, I will attempt to identify and describe some of the common threads
that tie together work in reasoning about knowledge in such diverse fields as philosophy …

Reasoning about knowledge—particularly the knowledge of agents who reason about the
world and each other's knowledge—was once the exclusive province of philosophers and …

Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical
system, but about a whole family of logics that allows us to specify static and dynamic …

Formal ways of representing uncertainty and various logics for reasoning about it; updated
with new material on weighted probability measures, complexity-theoretic considerations …

Reasoning about knowledge seems to play a fundamental role in distributed systems.
Indeed, such reasoning is a central part of the informal intuitive arguments used in the …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

We study the propositional model logic of knowledge and time for distributed systems. We
consider a number of logics (ninety-six in all!), which vary according to the choice of …

By analyzing the states of knowledge that the processors attain in an unreliable system of a
simple type, we capture some of the basic underlying structure of such systems. In particular …

The standard approach in Al to knowledge representation, going back to [47], is to represent
an agent's knowledge as a collection of formulas, which we can view as a knowledge base …

We continue the work of Aumann (Ann. Statist. 4 (1976), 1236–1239), Geanakoplos and
Polemarchakis,(J. Econ. Theory 28 (1982), 192–200), Cave (Econ. Lett. 12 (1983), 147 …