Raul Antonio Cristovão dos Santos

Uma série de artigos recentes apresentou extensões da semântica de teoria dos jogos de Jaakko Hintikka, originalmente desenvolvida para computar o valor de fórmulas da lógica de primeira ordem, às lógicas fraca e forte de Kleene. No entanto, as soluções usadas para lidar com o terceiro valor de verdade presente nessas lógicas são insatisfatórias, tanto da perspectiva da teoria dos jogos quanto da lógica. Diante disso, o objetivo da nossa pesquisa é desenvolver uma semântica para as lógicas forte e fraca de Kleene, dentro do arcabouço original da semântica de teoria dos jogos de Hintikka, que façam melhor uso dos recursos da teoria dos jogos, e explorar a possibilidade de estender a abordagem a outras lógicas polivalentes, como às lógicas de Post.