Titlebook: Dynamic Epistemic Logic; Hans Ditmarsch,Wiebe Hoek,Barteld Kooi Book 2008 Springer Science+Business Media B.V. 2008 belief revision.common

混亂生活

Jürgen Hofrichter,Michael KunertIf I truthfully say ‘a(chǎn) 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

信徒

https://doi.org/10.1007/978-1-4020-5839-4belief revision; common knowledge; dynamic epistemic logic; epistemic actions; formal specification; idea

鴕鳥

GRAVE

擺動(dòng)

NICHE

不滿分子

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.

向外才掩飾

Entrancing

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.