Abstract
Statements convey information, by modifying knowledge states of hearers and speakers. This dynamic aspect of communication goes beyond the usual role of logic as a provider of static ‘truth conditions’. But it can be modelled rather nicely in so-called ‘update logics’, which have been developed since the 1980s. These systems provide a fresh look at standard logic, letting the usual models undergo suitable changes as agents absorb the content of successive utterances or messages. This lecture is a brief Whig history of update logics, with an emphasis on many-agent epistemic languages. We discuss straight update, questions and answers, and the delightful complexities of communication under various constraints. We hope to convey the attraction of giving a dynamic twist to wellknown things, such as simple modal models, or basic epistemic formulas.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Benthem, J. (2000). ‘On Being Informed’: Update Logics for Knowledge States. In: Ojeda-Aciego, M., de Guzmán, I.P., Brewka, G., Moniz Pereira, L. (eds) Logics in Artificial Intelligence. JELIA 2000. Lecture Notes in Computer Science(), vol 1919. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40006-0_1
Download citation
DOI: https://doi.org/10.1007/3-540-40006-0_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41131-4
Online ISBN: 978-3-540-40006-6
eBook Packages: Springer Book Archive