1 expert in "dynamic and epistemic logic" found: