Dynamic Epistemic Logic with Justification by Bryan Renne A dissertation submitted to the Graduate Faculty in Computer Science in partial fulfillment of the requirements…