Krister Segerberg on Logic of Actions

Part I. Part I

1. Krister Segerberg’s Philosophy of Action
Richmond H. Thomason

2. The Concept of a Routine in Segerberg’s Philosophy of Action
Dag Elgesem

3. On the Reconciliation of Logics of Agency andLogics of Event Types
Jan Broersen

4. Three Traditions in the Logic of Action: Bringing them Together
Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard

5. Deontic Logics Based on Boolean Algebra
Pablo F. Castro, Piotr Kulicki

6. Dynamic Deontic Logic, Segerberg-Style
John-Jules Ch. Meyer

Part II. Part II

7. Contraction, Revision, Expansion: Representing Belief Change Operations
Sven Ove Hansson

8. Segerberg on the Paradoxes of Introspective Belief Change
Sebastian Enqvist, Erik J. Olsson

9. Equivalent Beliefs in Dynamic Doxastic Logic

Robert Goldblatt

10. On Revocable and Irrevocable Belief Revision
Hans van Ditmarsch

11. Actions, Belief Update, and DDL
Jérôme Lang

12. DDL as an “Internalization” of Dynamic Belief Revision
Alexandru Baltag, Virginie Fiutek, Sonja Smets

13. Two Logical Faces of Belief Revision
Johan Benthem

Avainsanat: Philosophy, Logic, Logics and Meanings of Programs, Philosophy of Mind