. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
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: 37.73 EUR, größter Preis: 59.31 EUR, Mittelwert: 44.38 EUR
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 (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: 1402069081

[SR: 81122], Taschenbuch, [EAN: 9781402069086], Springer, Springer, Book, [PU: Springer], 2007-11-15, Springer, 63355011, Künstliche Intelligenz, 63336011, Informatik, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 69038011, Epistemologie, 69029011, Philosophie, 69028011, Sachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher, 69046011, Logik & Sprache, 69029011, Philosophie, 69028011, Sachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
Herb Tandree Philosophy Books
Gebraucht Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
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: 1402069081

[SR: 81122], Taschenbuch, [EAN: 9781402069086], Springer, Springer, Book, [PU: Springer], 2007-11-15, Springer, 63355011, Künstliche Intelligenz, 63336011, Informatik, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 69038011, Epistemologie, 69029011, Philosophie, 69028011, Sachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher, 69046011, Logik & Sprache, 69029011, Philosophie, 69028011, Sachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

Neues Buch Amazon.de (Intern...
Book Depository DE
Neuware Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.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) - van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld:
Dynamic Epistemic Logic (Synthese Library) - Taschenbuch

ISBN: 9781402069086

ID: 675105974

Springer. PAPERBACK. 1402069081 Special order direct from the distributor . New., Springer

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

< zum Suchergebnis...
Details zum Buch
Dynamic Epistemic Logic
Autor:

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

Titel:

Dynamic Epistemic Logic

ISBN-Nummer:

9781402069086

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 19.11.2016 13:50:05
ISBN/EAN: 9781402069086

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher