Sign-In
Cart
Dynamic Epistemic Logic
Hardcover
Series: Synthese Library, Book 337
PhilosophyGeneral ComputersLogic
ISBN13: 9781402058387
Publisher: Springer
Published: Jun 8 2007
Pages: 296
Weight: 1.35
Height: 0.75 Width: 6.14 Depth: 9.21
Language: English
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.
Also in
Philosophy
Solidarity: The Past, Present, and Future of a World-Changing Idea
Hunt-Hendrix, Leah
Taylor, Astra
Hardcover
In the Beginning Was the Deed: Realism and Moralism in Political Argument
Williams, Bernard
Paperback
The American Indian Mind in a Linear World: American Indian Studies and Traditional Knowledge
Fixico, Donald Lee
Paperback
Dreaming of Cinema: Spectatorship, Surrealism, and the Age of Digital Media
Lowenstein, Adam
Paperback
Machine Intelligence and the Imaginal Realm: Spiritual Freedom and the Re-Animation of Matter
Lafitte, Luke
Paperback
The Sociogony: Social Facts and the Ontology of Objects, Things, and Monsters
Worrell, Mark P.
Paperback
On Quality: An Inquiry Into Excellence: Unpublished and Selected Writings
Pirsig, Robert M.
Pirsig, Wendy K.
Hardcover
The Electromagnetic Brain: Em Field Theories on the Nature of Consciousness
Joye, Shelli Renée
Paperback
Philosophy in Turbulent Times: Canguilhem, Sartre, Foucault, Althusser, Deleuze, Derrida
Roudinesco, Elisabeth
Paperback
The New Science of Giambattista Vico: Unabridged Translation of the Third Edition (1744) with the Addition of Practic of the New Science
Vico, Giambattista
Paperback
The Persuaders: At the Front Lines of the Fight for Hearts, Minds, and Democracy
Giridharadas, Anand
Hardcover
The Dream of Reason: A History of Philosophy from the Greeks to the Renaissance
Gottlieb, Anthony
Paperback
The Modes of Scepticism: Ancient Texts and Modern Interpretations
Julia, Annas
Annas, Julia
Barnes, Jonathan
Paperback
Friendship and Society: An Introduction to Augustine's Practical Philosophy
Burt, Donald X.
Paperback
Suffering and the Search for Meaning: Contemporary Responses to the Problem of Pain
Rice, Richard
Paperback
Essays V2: Moral And Entertaining On The Various Faculties And Passions Of The Human Mind (1815)
Clarendon, Edward Hyde Earl of
Paperback
The Daily Stoic: 366 Meditations on Wisdom, Perseverance, and the Art of Living
Holiday, Ryan
Hanselman, Stephen
Hardcover
The Mattering Instinct: How Our Deepest Longing Drives Us and Divides Us
Goldstein, Rebecca Newberger
Hardcover
The Obstacle Is the Way Expanded 10th Anniversary Edition: The Timeless Art of Turning Trials Into Triumph
Holiday, Ryan
Hardcover
Self-Help from the Middle Ages: What the Seven Deadly Sins Can Teach Us about Living
Jones, Peter
Hardcover
Other Minds: The Octopus, the Sea, and the Deep Origins of Consciousness
Godfrey-Smith, Peter
Paperback
The Boy, the Mole, the Fox and the Horse Fifth Anniversary Limited Edition: The Global Bestseller
Mackesy, Charlie
Hardcover
Bless & Release: The physics of letting go-and wanting what's meant for you.
Laporte, Danielle
Paperback
The Ethical Slut, Third Edition: A Practical Guide to Polyamory, Open Relationships, and Other Freedoms in Sex and Love
Easton, Dossie
Hardy, Janet W.
Paperback
Eight Million Ways to Happiness: Wisdom for Inspiration and Healing from the Heart of Japan
Yoda, Hiroko
Hardcover
Self-Reliance and Nature: The Complete First and Second Series of Emerson's Essays
Emerson, Ralph Waldo
Hardcover