Marek Nasieniewski apresentando a palestra A Method of Generating Modal Logics Defining Jaskowski's Discussive Logic D2 no auditório do IMECC Adicionar a área de transferência