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.

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'...

This book collects all the papers that appeared in 2005 in Kno- edge, Rationality and Action (KRA), a journal published as a s- cial section of Synthese, which addresses contemporary issues in epistemic logic, belief revision, game and decision theory, rational agency, planning and theories of action. As such, the special section appeals to researchers from Computer Science, Game Theory, Ar- ?cial Intelligence, Philosophy, Knowledge Representation, Logic and Agents, addressing issues in arti?cial systems that have to gather information, reason about it and then make a sensible decision about...

This volume is conceived as a rami?cation of the eighth conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT8), which took placein Amsterdam, inJuly2008.Inall,61papersweresubmitted to thisevent, of which 48 were presented. This volume is based on a selection of the presented papers and the invited talks: they survived a thorough and lengthy reviewing process. The LOFT conferences have been a regular biannual event since 1994. The ?rstconference washosted by the Centre Internationalde RecherchesMathe- tiques in Marseille (France), the next four took place at the...

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas.
This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/...