Quarta-feira dia 1 de abril, às 16h00.
CLE-UNICAMP
Juliana Bueno-Soler
Discutirei os sistemas modais anódicos (sem negação) e catódicos (com graus de negação) e suas extensões multimodais, discorrendo sobre resultados de completude e incompletude com respeito à semânticas de Kripke. Num segundo momento mostrarei como caracterizar tais sistemas através de semânticas de traduções possíveis, e como conectá-las com noções de mundos impossíveis.
CLE-UNICAMP
Juliana Bueno-Soler
Discutirei os sistemas modais anódicos (sem negação) e catódicos (com graus de negação) e suas extensões multimodais, discorrendo sobre resultados de completude e incompletude com respeito à semânticas de Kripke. Num segundo momento mostrarei como caracterizar tais sistemas através de semânticas de traduções possíveis, e como conectá-las com noções de mundos impossíveis.
Nenhum comentário:
Postar um comentário