Articles liés à Dynamic Epistemic Logic
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 69,42
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Dynamic Epistemic Logic
Image d'archives
Dynamic Epistemic Logic
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-84880
Quantité disponible : 1 disponible(s)
Image d'archives
Dynamic Epistemic Logic
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-167125
Quantité disponible : 1 disponible(s)
Image d'archives
Dynamic Epistemic Logic
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 312. N° de réf. du vendeur 26295494
Quantité disponible : 1 disponible(s)
Image d'archives
Dynamic Epistemic Logic
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 312 Illus. N° de réf. du vendeur 7552409
Quantité disponible : 1 disponible(s)
Image d'archives
Dynamic Epistemic Logic
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 312. N° de réf. du vendeur 18295500
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Dynamic Epistemic Logic
Edité par
Springer Netherlands, 2007
ISBN 10 : 1402058381
ISBN 13 : 9781402058387
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The first accessible reference to public announcement logicEminently suitable textbook for a graduate audienceCompanion webpage with slides for lecturers, exams for further practice, etc.Everything you always wanted to know about the. N° de réf. du vendeur 4094276
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Dynamic Epistemic Logic
Edité par
Dordrecht : Springer, 2007
ISBN 10 : 1402058381
ISBN 13 : 9781402058387
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : avelibro OHG, Dinkelscherben, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
24 x 16,5 cm. Etat : Gut. Synthese Library 337. XI, 282 Pages ; With Figures Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Englische Sprache - Hardboard with Library label. Inside with Library stamps, in good condition. English Language B13-03-04C|S36 Sprache: Englisch Gewicht in Gramm: 550. N° de réf. du vendeur 71526
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Dynamic Epistemic Logic
Edité par
Springer Netherlands Jun 2007, 2007
ISBN 10 : 1402058381
ISBN 13 : 9781402058387
Neuf
Buch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 312 pp. Englisch. N° de réf. du vendeur 9781402058387
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Dynamic Epistemic Logic
Edité par
Springer Netherlands, Springer Netherlands Jun 2007, 2007
ISBN 10 : 1402058381
ISBN 13 : 9781402058387
Neuf
Buch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch. N° de réf. du vendeur 9781402058387
Quantité disponible : 2 disponible(s)
Image d'archives
Dynamic Epistemic Logic (Synthese Library, 337)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781402058387_new
Quantité disponible : Plus de 20 disponibles