© 2014

Krister Segerberg on Logic of Actions

  • Robert Trypuz

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

Table of contents

  1. Front Matter
    Pages i-xxix
  2. Part I

    1. Front Matter
      Pages 1-1
    2. Richmond H. Thomason
      Pages 3-23
    3. Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
      Pages 61-84
    4. Pablo F. Castro, Piotr Kulicki
      Pages 85-117
    5. John-Jules Ch. Meyer
      Pages 119-132
  3. Part II

    1. Front Matter
      Pages 133-133
    2. Sebastian Enqvist, Erik J. Olsson
      Pages 153-178
    3. Robert Goldblatt
      Pages 179-207
    4. Hans van Ditmarsch
      Pages 209-228
    5. Jérôme Lang
      Pages 229-251
    6. Alexandru Baltag, Virginie Fiutek, Sonja Smets
      Pages 253-280
    7. Johan van Benthem
      Pages 281-300
  4. Back Matter
    Pages 301-335

About this book


This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions.  Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of the book covers relations between actions, intentions and routines, dynamic logic as a theory of action, agency, and deontic logics built upon the logics of actions. The second section explores belief revision and update, iterated and irrevocable beliefs change, dynamic doxastic logic and hypertheories.

Segerberg has worked for more than thirty years to analyze the intricacies of real and doxastic actions using formal tools - mostly modal (dynamic) logic and its semantics. He has had such a significant impact on modal logic that "It is hard to roam for long in modal logic without finding Krister Segerberg's traces," as Johan van Benthem notes in his chapter of this book.


belief revision and update bringing-it-about deontic logics doxastic/epistemic action propositional control relations between actions seeing-to-it-that theory of action

Editors and affiliations

  • Robert Trypuz
    • 1
  1. 1.The John Paul II Catholic University ofLublinPoland

Bibliographic information

  • Book Title Krister Segerberg on Logic of Actions
  • Editors Robert Trypuz
  • Series Title Outstanding Contributions to Logic
  • Series Abbreviated Title Outstanding Contributions
  • DOI
  • Copyright Information Springer Science+Business Media Dordrecht 2014
  • Publisher Name Springer, Dordrecht
  • eBook Packages Humanities, Social Sciences and Law Philosophy and Religion (R0)
  • Hardcover ISBN 978-94-007-7045-4
  • Softcover ISBN 978-94-024-0197-4
  • eBook ISBN 978-94-007-7046-1
  • Series ISSN 2211-2758
  • Series E-ISSN 2211-2766
  • Edition Number 1
  • Number of Pages XXIX, 335
  • Number of Illustrations 0 b/w illustrations, 40 illustrations in colour
  • Topics Logic
    Logics and Meanings of Programs
    Philosophy of Mind
  • Buy this book on publisher's site


From the book reviews:

“This book is on the contributions of Krister Segerberg. … A graduate student in the area of logic or in artificial intelligence will find a wealth of material here.” (K. Lodaya, Computing Reviews, June, 2014)