Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: 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.

34
The categories of this paper are: chem-ph
35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph
26
The categories of this paper are: bayes-an
7
The categories of this paper are: hep-th
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
19
The categories of this paper are: eess
37
The categories of this paper are: supr-con