Now that we have presented a theory of multi-agent knowledge in Chapter 2, a natural next step is to study how an agent’s epistemic attitude can change over time. We have in fact already seen that such changes are important: for instance in the Consecutive Numbers puzzle (Example 2.4), the information state of each agent changes as a result of an announcement by any of the agents (note that even the first announcement of a (“I don’t know the numbers” = ϕ) changes his information state: after uttering ϕ, we have that a knows that b knows that ϕ (KaKbϕ: in fact we even have KaKbKaKbϕ, etc.)).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2008 Springer
About this chapter
Cite this chapter
(2008). Belief Revision. In: Dynamic Epistemic Logic. Studies In Epistemology, Logic, Methodology, And Philosophy Of Science, vol 337. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-5839-4_3
Download citation
DOI: https://doi.org/10.1007/978-1-4020-5839-4_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-5838-7
Online ISBN: 978-1-4020-5839-4
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)