ISSN 2387-1571
F.A.Q. Tutoriales
Secciones
Edita: Creative Codeworks
Thomas Bolander. Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic