Marti, Michel (2017) Contributions to Intuitionistic Epistemic Logic thesis, Institute of Computer Science.