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 re knowledge but also updates. The is based on dynamified version of an language extended with assignment operator borrowed from logic, following work Wang Seligman (Proc. AiML 2018). We obtain complete axiomatizations for counterparts public announcement event-model-based DEL new reduction axioms taking care interactions dynamics assignments.
منابع مشابه
De Re and De Se
1. De re thought and token-reflexivity There is an intuitive contrast between descriptive thoughts about an object (e.g. the thought that the strongest man in the world can lift 150 kilos) and 'nondescriptive' or 'de re' thoughts about an object (e.g. the thought that that man is drunk). But it is not easy to make the contrast explicit without going stipulative. The distinction between de re th...
متن کاملDe re anaphors
Interpretive constraints on anaphors in intensional complements suggest that de re LFs can’t yield de se truth conditions and, in fact, generate anti-de se inferences in the pragmatics.
متن کاملOn De Re Predicates
Thus, we conclude that a modal like ‘think’ is a necessary ingredient for de re/de dicto ambiguity. Roughly put, the ambiguity of (1) can be understood as follows. In the interpretation where ‘the linguist’ refers to Sue, it is evaluated against what we know, so the referent of ‘the linguist’ is who we know as the unique linguist, i.e. Sue. This is the same for the unembedded sentence in (4). O...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2021
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.335.9