Dynamic Epistemic Logic / edited by Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi

Hoek, Wiebe van der ; Kooi, Barteld

Englisch

Dordrecht : Springer Science+Business Media B.V, 2007

Online-Ressource : v.: digital

Description based upon print version of record

978-1-4020-5839-4

Weitere Ausgaben: 978-1-4020-5838-7 (Druckausgabe)

DOI: 10.1007/978-1-4020-5839-4

Front Matter; Introduction; Epistemic Logic; Belief Revision; Public Announcements; Epistemic Actions; Action Models; Completeness; Expressivity; Back Matter;

*Epistemische Logik

*Genetic epistemology ; Logic ; Computer science ; Artificial intelligence ; Philosophy (General)

Klassifikation der Library of Congress: BC21.E64

Dewey Dezimal-Klassifikation: 121;

Regensburger Verbund-Klassifikation: CC 2500: CA-CK Philosophie / CC Systematische Philosophie / CC 2000-CC 2600 Logik / Philosophische Logik

Regensburger Verbund-Klassifikation: CC 2600: CA-CK Philosophie / CC Systematische Philosophie / CC 2000-CC 2600 Logik / Abhandlungen zur Logik und mathematischen Grundlagenforschung

Regensburger Verbund-Klassifikation: ST 300: SQ-SU Informatik / ST Monografien / ST 300-ST 308 Künstliche Intelligenz / Allgemeines

Mathematics Subject Classification: *03B42

Mathematics Subject Classification: 03B45

Mathematics Subject Classification: 68T27

Mathematics Subject Classification: 03-02

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 reade

 

Online-Ausg.

https://zbmath.org/?q=an:1156.03015 [Zentralblatt MATH]

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.

http://dx.doi.org/10.1007/978-1-4020-5839-4 [Springer EBook]