Krister Segerberg on Logic 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.