This document is unfortunately not available for download at the moment.
Horacio Arló-Costa, Vincent F. Hendricks , Johan van Benthem (2016) Readings in formal epistemology: sourcebook, Dordrecht, Springer.
Some computational constraints in epistemic logic
Timothy Williamson
pp. 717-734
Not implemented yet !