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

債權(quán)人

書(shū)目名稱(chēng)Dynamic Epistemic Logic影響因子(影響力)




書(shū)目名稱(chēng)Dynamic Epistemic Logic影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Dynamic Epistemic Logic網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Dynamic Epistemic Logic網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Dynamic Epistemic Logic被引頻次




書(shū)目名稱(chēng)Dynamic Epistemic Logic被引頻次學(xué)科排名




書(shū)目名稱(chēng)Dynamic Epistemic Logic年度引用




書(shū)目名稱(chēng)Dynamic Epistemic Logic年度引用學(xué)科排名




書(shū)目名稱(chēng)Dynamic Epistemic Logic讀者反饋




書(shū)目名稱(chēng)Dynamic Epistemic Logic讀者反饋學(xué)科排名

壟斷

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.

Handedness

大喘氣

linear

Action Models,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.

Amplify

Belief Revision,ate of each agent changes as a result of an announcement by any of the agents (note that even the first announcement of . (“I don’t know the numbers” = .) changes . information state: after uttering ., we have that . knows that . knows that . (.: in fact we even have ., etc.)).

Amplify

獸群

外貌

植物茂盛

Stabilisierende Einflussfaktoren, remains unchanged, and they may even result in the enlargement of the domain of the model (and its structure), even when the complexity is measured by the number of non-bisimilar states. We start with a motivating example. Reconsider Example 4.1 on page 67 of the previous chapter ‘public announcements’.