Johan van Benthem on Logic and Information Dynamics

  • Alexandru Baltag
  • Sonja Smets

Part of the Outstanding Contributions to Logic book series (OCTR, volume 5)

Table of contents

  1. Front Matter
    Pages i-lxix
  2. Mathematical and Computational Perspectives

    1. Front Matter
      Pages 1-1
    2. Erich Grädel, Martin Otto
      Pages 3-31
    3. Balder ten Cate, Phokion G. Kolaitis
      Pages 67-100
    4. Pietro Galliani, Jouko Väänänen
      Pages 101-119
    5. Samson Abramsky
      Pages 121-142
    6. Hajnal Andréka, István Németi
      Pages 143-172
  3. Dynamics of Knowledge and Belief Over Time

    1. Front Matter
      Pages 173-173
    2. Jan van Eijck
      Pages 175-202
    3. Patrick Girard, Hans Rott
      Pages 203-233
    4. Valentin Goranko, Eric Pacuit
      Pages 235-266
    5. Nina Gierasimczuk, Vincent F. Hendricks, Dick de Jongh
      Pages 267-288
    6. Nick Bezhanishvili, Wiebe van der Hoek
      Pages 339-380
    7. Lorenz Demey, Barteld Kooi
      Pages 381-404
  4. Games

    1. Front Matter
      Pages 419-419
    2. Giacomo Bonanno, Cédric Dégremont
      Pages 421-449
    3. Thomas Ågotnes, Hans van Ditmarsch
      Pages 451-485

About this book

Introduction

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 various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation.

 

Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations.

Keywords

Action models Belief revision Bisimulation Dynamic Epistemic Logic Dynamic semantics Game semantics Language and cognition Logic and epistemology Logic and games Logical dynamics Natural Logic Substructural logics

Editors and affiliations

  • Alexandru Baltag
    • 1
  • Sonja Smets
    • 2
  1. 1.University of Amsterdam Inst Logic,Language & ComputationAmsterdamThe Netherlands
  2. 2.AmsterdamThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-06025-5
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Humanities, Social Sciences and Law
  • Print ISBN 978-3-319-06024-8
  • Online ISBN 978-3-319-06025-5
  • Series Print ISSN 2211-2758
  • Series Online ISSN 2211-2766
  • About this book