混乱生活
发表于 2025-3-25 06:15:19
Jürgen Hofrichter,Michael KunertIf I truthfully say ‘a kowhai tree has yellow flowers’ to a group of friends, that fact is then commonly known among them. This indeed works for propositions about ., such as in the example, but it is a mistaken intuition that whatever you announce is thereafter commonly known: it does not hold for certain . propositions.
Infiltrate
发表于 2025-3-25 09:55:29
http://reply.papertrans.cn/29/2836/283580/283580_22.png
信徒
发表于 2025-3-25 13:16:12
https://doi.org/10.1007/978-1-4020-5839-4belief revision; common knowledge; dynamic epistemic logic; epistemic actions; formal specification; idea
鸵鸟
发表于 2025-3-25 17:08:11
http://reply.papertrans.cn/29/2836/283580/283580_24.png
GRAVE
发表于 2025-3-25 21:31:52
http://reply.papertrans.cn/29/2836/283580/283580_25.png
摆动
发表于 2025-3-26 03:40:53
http://reply.papertrans.cn/29/2836/283580/283580_26.png
NICHE
发表于 2025-3-26 06:27:26
http://reply.papertrans.cn/29/2836/283580/283580_27.png
不满分子
发表于 2025-3-26 12:13:33
Konzeptualisierung und Methodik der Analyse,chapter, that was also on epistemic actions (see the Preface for motivation). In the current section we informally introduce action models. Action models are semantic objects that can also be seen as epistemic actions.
向外才掩饰
发表于 2025-3-26 15:11:58
http://reply.papertrans.cn/29/2836/283580/283580_29.png
Entrancing
发表于 2025-3-26 20:17:18
Epistemic Logic,ed today, is very much influenced by the development of modal logic, and, in particular, by its Kripke semantics. We will emphasise the intuitive appeal of this semantics in this chapter and, indeed, throughout the book, since also the dynamics of epistemics will fruitfully utilise them.