In the late 1950's and early 1960's seminal works on the logic of knowledge and belief were published by notably von Wright and Hintikka. Epistemic and doxastic logics have since then grown into mature disciplines enjoying many important applications in philosophy, computer scie…