书目名称 | Johan van Benthem on Logic and Information Dynamics | 编辑 | Alexandru Baltag,Sonja Smets | 视频video | | 概述 | Illustrates the program of Logical-Informational Dynamics and Johan van Benthem’s work in its establishment.Discusses the state of the art in such topics as information update, belief change, preferen | 丛书名称 | Outstanding Contributions to Logic | 图书封面 |  | 描述 | .This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, and often stressing Johan van Benthem‘s pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science.. .The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the | 出版日期 | Book 2014 | 关键词 | Action models; Belief revision; Bisimulation; Dynamic Epistemic Logic; Dynamic semantics; Game semantics; | 版次 | 1 | doi | https://doi.org/10.1007/978-3-319-06025-5 | isbn_softcover | 978-3-319-38297-5 | isbn_ebook | 978-3-319-06025-5Series ISSN 2211-2758 Series E-ISSN 2211-2766 | issn_series | 2211-2758 | copyright | Springer International Publishing Switzerland 2014 |
The information of publication is updating
|
|