Workshop on The Logical Dynamics of Information, Agency and Interaction
Software Analysis and Transformation

van Eijck, J. (2014). Belief, Probabilities, Updates, and Model Checking.