a dissertation on formal learning theory and dynamic epistemic logic