Abstract:The most widely used attractive logical account of knowledge uses standard epistemic models, i.e., graphs whose edges are indistinguishability relations for agents. In this paper, we discuss more general topological models for a multi-agent epistemic language, whose main uses so far have been in reasoning about space. We show that this more geometrical perspective afiords greater powers of distinction in the study of common knowledge, deflning new collective agents, and merging information for groups of agents. 1. Epistemic logic in its standard guise 1.1. Basic epistemic logic. Epistemic logic is in wide use today as a description of knowledge and ignorance for agents in philosophy (14), computer science (13), (22), game theory (12), and other areas. In this paper, we assume familiarity with the basic language of propositional epistemic logic, interpreted over multi-agent S4 models whose accessibility relations are re∞exive and transitive. Alternative model classes occur, too, such as equivalence relations for each agent in multi-agent S5{but our discussion is largely independent from such choices. The key semantic clause about an agent's knowledge of a proposition says that Kiholds at a world x if and only ifis true in all worlds y accessible for i from x. That is, the epis- temic knowledge modality is really a modal box ⁄i`. For technical convenience, we will use the latter notation for knowledge in the rest of this paper. The main modern interest in epistemic logic has to do with analyzing iterated knowledge of agents about themselves and what others know, for purposes of communication and interaction. Cf. (4), (9) on systems that combine epistemic logic and dynamic logic to describe information update in groups of agents. A simple example of how the basic logic works is the model in Figure 1.

Methods Models for Belief and Knowledge

Conditional Belief, Knowledge and Probability

A Logic of Knowledge Based on Abstract Arguments

The Geometry of Knowledge

Belief, knowledge and evidence

Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)

Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract)

Stalnaker's Epistemic Logic in Isabelle/HOL

Belief Update as Social Choice

Modular Belief Updates and Confusion about Measures of Certainty in Artificial Intelligence Research

A Belief Model for Conflicting and Uncertain Evidence -- Connecting Dempster-Shafer Theory and the Topology of Evidence

Models of Possibilities Instead of Logic as the Basis of Human Reasoning

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Dynamic Logics of Evidence-Based Beliefs

A Model of Reasoning about Knowledge

Talking About Knowledge

Evidence and Plausibility in Neighborhood Structures

Belief in the Machine: Investigating Epistemological Blind Spots of Language Models

Epistemic Modeling with Justifications

Public Announcements, Private Actions And Common Knowledge In S5 Structures

Group Belief