Dynamic Epistemic Logic - Wiebe Van Der Hoek,Barteld Kooi,Hans Van Ditmarsch
-35% koodilla BOOKS
Toimitus 12-18 arkipäivässä
30 päivän palautusoikeus
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises includi ... Täydellinen kuvaus
Saatat myös pitää
TOP
How Not to Be Wrong: The Power of Mathematical Thinking
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The Daily Stoic: 366 Meditations on Wisdom, Perseverance, and the Art of Living: Featuring new translations of Seneca, Epictetus, and Marcus Aurelius
Stephen Hanselman, Ryan Holiday
-35% koodilla BOOKS
Varastossa
TOP
Ikigai: The Japanese secret to a long and happy life
Francesc Miralles, Héctor García
-35% koodilla BOOKS
Varastossa
TOP
The Artist's Way: A Spiritual Path to Higher Creativity
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
A Little History of Philosophy
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The Power of Now: A Guide to Spiritual Enlightenment
-35% koodilla BOOKS
Varastossa
TOP
The Holy Bible - King James Version (KJV): Popular Gift & Award Black Leatherette Edition
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Original Sin: The Genetics of Wrongdoing, the Problem of Blame and the Future of Forgiveness
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The Art of War & Other Classics of Eastern Philosophy
Mencius, Lao-Tzu, Confucius, Sun Tzu
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The Reed of God: Mary, Virgin and Mother
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Discourses and Selected Writings
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Antifragile: Things That Gain from Disorder
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The 5 Levels of Leadership: Proven Steps to Maximize Your Potential
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The Café on the Edge of the World: A Story About the Meaning of Life
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Open Socrates: The Case for a Philosophical Life
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Thus Spoke Zarathustra: A Book for Everyone and No One
-35% koodilla BOOKS
Toimittajalla varastossa
Kuvaus
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic. A sweeping chapter-wise outline of the content of this book is the following. The chapter 'Introduction' informs the reader about the history of the subject, and its relation to other disciplines. 'Epistemic Logic' is an overview of multi-agent epistemic logic - the logic of knowledge - including modal operators for groups, such as general and common knowledge. 'Belief Revision' is an overview on how to model belief revision, both in the 'traditional' way and in a dynamic epistemic setting. 'Public Announcements' is a detailed and comprehensive introduction to the logic of knowledge to which dynamic operators for truthful public announcement are added. Many interesting applications are also presented in this chapter: a form of cryptography for ideal agents also known as 'the Russian cards problem', the sum-and-product riddle, etc. 'Epistemic Actions' introduces a generalization of public announcement logic to more complex epistemic actions. A different perspective on that matter is independently presented in 'Action Models'. 'Completeness' gives details on the completeness proof for the logics introduced in 'Epistemic Logic', 'Public Announcements', and 'Action Models'. 'Expressivity' discusses various results on the expressive power of the logics presented.
Lisätietoja
| Kirjoittaja | Wiebe Van Der Hoek, Barteld Kooi, Hans Van Ditmarsch |
|---|---|
| Julkaisija | Springer Netherlands |
| Series | Synthese Library |
| Julkaisuvuosi | 2007 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9781402069086 |