publicações selecionadas Lógicas Modais de Acção para a Modelação da Interacção entre Agentes e de Organizações