Voltar aos Detalhes do Artigo Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions Baixar ##common.downloadPdf##