Johan van Benthem on Logic and Information Dynamics

Preface; Johan van Benthem.- Introduction; Alexandru Baltag and Sonja Smets.- Part I. Mathematical and Computational Perspectives.- The Freedoms of (Guarded) Bisimulation; Erich Grädel and Martin Otto.- Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective; Yde Venema.- Schema Mappings: A Case of Logical Dynamics in Database Theory; Balder ten Cate and Phokion G. Kolaitis.- On Dependence Logic; Pietro Galliani, Jouko Väänänen.- Intensionality, Definability and Computation; Samson Abramsky.- Comparing Theories: The Dynamics of Changing Vocabulary; Hajnal Andréka and István Németi.- Part II. Dynamics of Knowledge and Belief Over Time.- Dynamic Epistemic Logics; Jan van Eijck.- Belief Revision and Dynamic Logic; Patrick Girard and Hans Rott.- Temporal Aspects of the Dynamics of Knowledge; Valentin Goranko and Eric Pacuit.- Logic and Learning; Nina Gierasimczuk, Vincent F. Hendricks, and Dick de Jongh.- A Computational Learning Semantics for Inductive Empirical Knowledge; Kevin T. Kelly.- Structures for Epistemic Logic; Nick Bezhanishvili and Wiebe van der Hoek.- Logic and Probabilistic Update; Lorenz Demey and Barteld Kooi.- Belief as a Simplification of Probability, and What This Entails; Hannes Leitgeb.- Part III. Games.- Logic and Game Theory; Giacomo Bonanno and Cédric Dégremont.- Knowledge Games and Coalitional Abilities; Thomas ågotnes and Hans van Ditmarsch.- On Definitive Solutions of Strategic Games; Sergei Artemov.-Logical Player Types for a Theory of Play; Ram Ramanujam.- An Alternative Analysis of Signaling Games; Gabriel Sandu.- Part IV. Agency.- Them and Us: Autonomous Agents in Vivo and in Silico; Peter Millican and Michael Wooldridge.- Incorporating Action Models into the Situation Calculus; Yongmei Liu and Hector J. Levesque.- Roles, Rigidity, and Quantification in Epistemic Logic; Wesley H. Holliday and John Perry.- Stit Logics, Games, Knowledge, and Freedom; Roberto Ciuni and John Horty.- The Logic of Best Actions from a Deontic Perspective;

Alexandru Baltag is an Associate Professor at the Institute for Logic, Language and Computation (University of Amsterdam). He is known mostly for his work in logics for multi-agent information flow (- he was one of the originators of dynamic epistemic logic) and their applications to communication, game theory, epistemology etc. He also worked on non-wellfounded set theory, coalgebraic logic, logics for quantum computation, game semantics, learning theory. His MS in Mathematics was obtained in 1989 at the University of Bucharest. He received his PhD in Mathematics in 1998 at Indiana University under the supervision of Jon Barwise. Between 1998 and 2001, he was a post-doctoral researcher at the Dutch Center for Mathematics and Computer Science. Between 2001 and 2011 he was a University Lecturer at Oxford University, in the Department of Computer Science.

Sonja Smets is an associate professor at the Institute for Logic, Language and Computation at the University of Amsterdam. She obtained her PhD at the Free University of Brussels in 2001 and after a post-doctoral research position at the Flemish Fund for Scientific Research, she was a lecturer at the Free University of Brussels till 2009. In 2009 she worked as an assistant professor with a Rosalind Franklin Research Fellowship at both the Faculty of Philosophy (Dept. Theoretical Philosophy) and the Faculty of Mathematics & Natural Sciences (Multi-agent Systems Group in Artificial Intelligence) at the University of Groningen. In 2009, she received a VIDI award and in 2011 she received and ERC starters grant. Her research programme ranges over Logic (in particular non-classical logics, including non-monotonic logics, belief revision, modal and temporal logic, quantum logic); Multi-agent Systems; Formal Epistemology; Philosophy of Science, Philosophy of Quantum Physics, Quantum Information and Computation.

From the book reviews:

"The breadth and depth of coverage is such that there will be something of interest for many, whether you are a PhD student simply keen to absorb fascinating historical context set in a broad sweep of technical results--only some of which you may wish to engage with in detail--or an experienced logician looking to gain an appreciation of contemporary approaches to using logic to model a multitude of elements of reasoning mechanics." (L. Sonenberg, Computing Reviews, February, 2015)