Actualizing distributed knowledge in bounded groups

Citations Over Time

Abstract

Abstract The idealizations resulting from the use of Kripke semantics in Epistemic Logic are inherited by formalizations of group epistemic notions. For example, distributed knowledge is often taken to reflect the potential knowledge of a group: what agents would know if they had unbounded means of communication and deductive ability. However, this does not specify whether/how this potential can be actualized, especially since real people are not unbounded reasoners. Inspired by experiments on group reasoning, we identify two dimensions of actualizing distributed knowledge: communication and inference. We build a dynamic framework with effortful actions accounting for both, combining impossible-worlds semantics and action models, and we provide a method for extracting a sound and complete axiomatization.

Related Papers

• → Bounded-Input Bounded-Output Stability of a Damped Nonlinear String(1996)2 cited
• → POSITIVE-NEGATIVE ASYMMETRY IN MENTAL STATE INFERENCE: REPLICATION AND EXTENSION(2006)1 cited
• → Stability of Control Systems with Multiple Sector-Bounded Nonlinearities for Inputs Having Bounded Magnitude and Bounded Slope(2023)1 cited
• → Bounded-Input Bounded-Output Stability of Damped Linear Strings(1993)
• → On the conditional plurisubharmonic envelopes of bounded functions(2020)