MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

The Geometry of Knowledge (2004) [1 citations — 1 self]

by Johan Van ,  Johan Van Benthem ,  Darko Sarenac
In Aspects of universal logic, volume 17 of Travaux Log
Add To MetaCart

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