DS-2018-11: Malvin Gattinger New Directions in Model Checking Dynamic Epistemic Logic 1.Full Text, 2.Abstract, 3.Samenvatting. < Back