194 research outputs found
De Re Updates
In this paper, we propose a lightweight yet powerful dynamic epistemic logic
that captures not only the distinction between de dicto and de re knowledge but
also the distinction between de dicto and de re updates. The logic is based on
the dynamified version of an epistemic language extended with the assignment
operator borrowed from dynamic logic, following the work of Wang and Seligman
(Proc. AiML 2018). We obtain complete axiomatizations for the counterparts of
public announcement logic and event-model-based DEL based on new reduction
axioms taking care of the interactions between dynamics and assignments.Comment: In Proceedings TARK 2021, arXiv:2106.1088
Resolving Distributed Knowledge
Distributed knowledge is the sum of the knowledge in a group; what someone
who is able to discern between two possible worlds whenever any member of the
group can discern between them, would know. Sometimes distributed knowledge is
referred to as the potential knowledge of a group, or the joint knowledge they
could obtain if they had unlimited means of communication. In epistemic logic,
the formula D_G{\phi} is intended to express the fact that group G has
distributed knowledge of {\phi}, that there is enough information in the group
to infer {\phi}. But this is not the same as reasoning about what happens if
the members of the group share their information. In this paper we introduce an
operator R_G, such that R_G{\phi} means that {\phi} is true after G have shared
all their information with each other - after G's distributed knowledge has
been resolved. The R_G operators are called resolution operators. Semantically,
we say that an expression R_G{\phi} is true iff {\phi} is true in what van
Benthem [11, p. 249] calls (G's) communication core; the model update obtained
by removing links to states for members of G that are not linked by all members
of G. We study logics with different combinations of resolution operators and
operators for common and distributed knowledge. Of particular interest is the
relationship between distributed and common knowledge. The main results are
sound and complete axiomatizations.Comment: In Proceedings TARK 2015, arXiv:1606.0729
The dynamic logic of stating and asking
Inquisitive dynamic epistemic logic (IDEL) extends standard public announcement logic incorporating ideas from inquisitive semantics. In IDEL, the standard public announcement action can be extended to a more general public utterance action, which may involve a statement or a question. While uttering a statement has the effect of a standard announcement, uttering a question typically leads to new issues being raised. In this paper, we investigate the logic of this general public utterance action. We find striking commonalities, and some differences, with standard public announcement logic. We show that dynamic modalities admit a set of reduction axioms, which allow us to turn any formula of IDEL into an equivalent formula of static inquisitive epistemic logic. This leads us to establish several complete axiomatizations of IDEL, corresponding to known axiomatizations of public announcement logic
The dynamic logic of stating and asking
Inquisitive dynamic epistemic logic (IDEL) extends standard public announcement logic incorporating ideas from inquisitive semantics. In IDEL, the standard public announcement action can be extended to a more general public utterance action, which may involve a statement or a question. While uttering a statement has the effect of a standard announcement, uttering a question typically leads to new issues being raised. In this paper, we investigate the logic of this general public utterance action. We find striking commonalities, and some differences, with standard public announcement logic. We show that dynamic modalities admit a set of reduction axioms, which allow us to turn any formula of IDEL into an equivalent formula of static inquisitive epistemic logic. This leads us to establish several complete axiomatizations of IDEL, corresponding to known axiomatizations of public announcement logic
To Be Announced
In this survey we review dynamic epistemic logics with modalities for
quantification over information change. Of such logics we present complete
axiomatizations, focussing on axioms involving the interaction between
knowledge and such quantifiers, we report on their relative expressivity, on
decidability and on the complexity of model checking and satisfiability, and on
applications. We focus on open problems and new directions for research
- …