Workshop Lógica Modal (2019)

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. Este workshop foi também finaciado pelo do projeto Universal CNPq "A case study for non-normal modal logic".