From, Asta Halkjær ; Jensen, Alexander Birch ; Villadsen, Jørgen
From , A H , Jensen , A B & Villadsen , J 2021 , Formalized Soundness and Completeness of Epistemic Logic . in Proceedings of International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning . International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning , 03/05/2021 ..  , 2021