. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9781402069086 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 36,64 €, größter Preis: 78,68 €, Mittelwert: 46,73 €
Dynamic Epistemic Logic - Van Der Hoek, Wiebe / Kooi, Barteld / Van Ditmarsch, Hans
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Van Der Hoek, Wiebe / Kooi, Barteld / Van Ditmarsch, Hans:
Dynamic Epistemic Logic - gebrauchtes Buch

ISBN: 9781402069086

ID: 6052363

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 resultson the expressive power of the logics presented. Dynamic Epistemic Logic Van Der Hoek, Wiebe / Kooi, Barteld / Van Ditmarsch, Hans, Springer

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Dynamic Epistemic Logic (Paperback) - Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi:
Dynamic Epistemic Logic (Paperback) - Taschenbuch

2007, ISBN: 1402069081

ID: 22418007388

[EAN: 9781402069086], Neubuch, [PU: Springer-Verlag New York Inc., United States], Philosophy|Logic, Computers & the Internet|Artificial Intelligence, Language: English . Brand New Book ***** Print on Demand *****.Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

Neues Buch Abebooks.de
The Book Depository, London, United Kingdom [54837791] [Rating: 5 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Dynamic epistemic logic - Hoek van der, W. Kooi, B. Ditmarsch van, H
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Hoek van der, W. Kooi, B. Ditmarsch van, H:
Dynamic epistemic logic - neues Buch

ISBN: 9781402069086

ID: 0a39a43de4ebd40e84867e0ac74f1381

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice., [PU: Springer]

Neues Buch Studystore.nl
studystore.nl
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Dynamic Epistemic Logic (Synthese Library) - Hans van Ditmarsch; Wiebe van der Hoek; Barteld Kooi
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Hans van Ditmarsch; Wiebe van der Hoek; Barteld Kooi:
Dynamic Epistemic Logic (Synthese Library) - Taschenbuch

2007, ISBN: 9781402069086

ID: 447086527

Springer, 2007-11-15. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service., Springer, 2007-11-15

gebrauchtes bzw. antiquarisches Buch Biblio.com
Ergodebooks
Versandkosten: EUR 13.42
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Dynamic Epistemic Logic - Barteld Kooi Wiebe van der Hoek Hans van Ditmarsch
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Barteld Kooi Wiebe van der Hoek Hans van Ditmarsch:
Dynamic Epistemic Logic - Taschenbuch

ISBN: 9781402069086

ID: 501875688

Springer . softcover. New. pp. xi + 296, Springer

gebrauchtes bzw. antiquarisches Buch Biblio.com
Cold Books
Versandkosten: EUR 14.54
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Dynamic Epistemic Logic
Autor:

Ditmarsch, Hans van; Hoek, Wiebe van der; Kooi, Barteld

Titel:

Dynamic Epistemic Logic

ISBN-Nummer:

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. TOC:Preface.- 1. Introduction.- 2. Epistemic Logic.- 3. Belief Revision.- 4. Public Announcements.- 5. Epistemic Actions.- 6. Action Models.- 7. Completeness.- 8. Expressivity.- A. Selected Answers to Exercises.- References.- Index.

Detailangaben zum Buch - Dynamic Epistemic Logic


EAN (ISBN-13): 9781402069086
ISBN (ISBN-10): 1402069081
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag GmbH
296 Seiten
Gewicht: 0,451 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 21.04.2007 07:07:54
Buch zuletzt gefunden am 31.05.2017 10:02:02
ISBN/EAN: 9781402069086

ISBN - alternative Schreibweisen:
1-4020-6908-1, 978-1-4020-6908-6


< zum Archiv...
Benachbarte Bücher