Caras e caros, escrevo para anunciar o primeiro workshop do projeto Universal CNPq "A case study for non-normal modal logic", que ocorrerá na Unicamp na quinta-feira, dia *16 de maio: *das *10h às 12h* na sala de* Defesa de Teses* do prédio de pós-graduação do IFCH e das* 12h às 17h30, *na sala* 12A *do mesmo prédio.
Este projeto tem como objetivo o esclarecimento da noção de não-normalidade na lógica modal. Este tema é abordado de uma perspectiva ambos semântica e sintática. Por um lado será indagado sobre a possibilidade de oferecer uma definição de não-normalidade que permita um tratamento uniforme de resultados de completude e correção. Por outro lado será indagado sobre as peculiaridades que os sistema de provas tipo cálculos de sequentes ou tableaux oferecem no caso de sistema modais não-normais. *Programação* 10h David Gilbert (University of British Columbia) e Giorgio Venturi (Unicamp) "Reflexive insensitive logics and the method of generated subframe". 11h Edson Bezerra (Unicamp) "A semantic approach to generalized provability". 12h-14h Almoço 14h Pedro Merlussi (Unicamp) "Freedom and couterfactuals". 15h Ekaterina Kubyshkina (Unicamp) e Mattia Petrolo (UFABC) "The dark side of knowledge". 16h-16h30 Coffe break 16h30 Pedro Yago (Unicamp) "Tableaux for essence and contingency". 17h30 Encerramento Comitê organizador: Mattia Petrolo Giorgio Venturi O evento é apoiado pela Sociedade Brasileira de Lógica (SBL). O evento é aberto e todomundo é bem vindo. Abraços, Giorgio modal logic workshop poster.pdf <https://drive.google.com/file/d/0B6AE1HSLVfELN2VUbEFFTjR1UXEyZVJBeUZ5eHFTbGVEZE9v/view?usp=drive_web> -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAECRgWUbH8EooA5kDz3aNJX3yyfDTUN0taWAMDktuDaNsn%3DNRQ%40mail.gmail.com.
