Dynamic Formal Epistemology - Girard, Patrick; Roy, Olivier; Marion, Mathieu (Springer Netherlands, 2011)