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 a#ords greater powers of distinction in the study of common knowledge, defining new collective agents, and merging information for groups of agents.
Citations
|
963
|
Reasoning about knowledge
– Fagin, Halpern, et al.
- 1995
|
|
476
|
An Introduction to Multiagent Systems
– Wooldridge
- 2002
|
|
165
|
Convention: A Philosophical Study
– Lewis
- 1969
|
|
112
|
The logic of public announcements, common knowledge, and private suspicions
– Baltag, Moss, et al.
- 1998
|
|
111
|
Exploring Logical Dynamics
– Benthem
- 1996
|
|
107
|
Generalized quantifiers and natural language
– Barwise, Cooper
- 1981
|
|
88
|
Many-Dimensional Modal Logics: Theory and Applications
– Gabbay, Kurucz, et al.
- 2003
|
|
83
|
Topology via Logic
– Vickers
- 1989
|
|
71
|
The algebra of topology
– McKinsey, Tarski
- 1944
|
|
33
|
Modal logics and bounded fragments of predicate logic
– AndrĂ©ka, Benthem, et al.
- 1998
|
|
27
|
On branching quantifiers in English
– BARWISE
- 1979
|
|
27
|
Three views of common knowledge
– Barwise
- 1988
|
|
17
|
Reasoning about space: The modal way
– Aiello, Benthem, et al.
|
|
8
|
Spatial reasoning: theory and practice
– Aiello
- 2002
|
|
6
|
Game theory and the social contract
– Binmore
- 1994
|
|
4
|
Two-dimensional modal logics, Mathematical notices of the USSR
– Shehtman
- 1978
|
|
3
|
Modal logic and topological products
– Sarenac
- 2005
|
|
1
|
Two logical concepts of information, manuscript
– Benthem
- 2004
|
|
1
|
One is a lonely number, ILLC
– Benthem
- 2002
|
|
1
|
Modal logics for products of topologies, to appear
– Benthem, Bezhanishvili, et al.
- 2004
|
|
1
|
The logic of epistemology and the epistemology of logic: selected essays
– Hintikka
- 1989
|