UMA LOGICA MODAL TEMPORAL.

A MOTIVACAO FUNDAMENTAL DESTE TRABALHO SURGE DA IDEIA DE SE ESTUDAR, NO AMBITO PROPOSICIONAL, AS RELACOES ENTRE OPERADORES MODAIS (ALETICOS) E TEMPORAIS, TRATANDO-OS COMO CONJUNTOS INDEPENDENTES DE OPERADORES. A PARTE PRINCIPAL DESTE, CONSISTE, POR UM LADO, NA CARACTERIZACAO SEMANTICA DE UMA LOGICA, A PARTIR DAS IDEIAS FUNDAMENTAIS DA SEMANTICA DE MUNDOS POSSIVEIS, E POR OUTRO, NA OBTENCAO DE UM SISTEMA AXIOMATICO QU E MOSTRA-SE SER CORRETO E COMPLETO COM RESPEITO AQUELA SEMANTICA. DA SEMANTICA DE MUNDOS POSSIVEIS PARA A LOGICA MODAL, TOMA-SE A IDEIA DE CONSIDERAR SIMULTANEAMENTE UMA CLASSE DE MUNDOS RELACIONADOS ENTRE SI, QUE A ESTRUTURA TEMPORAL ASSOCIADA A UM MUNDO E COMPLETAMENTE INDEPENDENTE A ESTRUTURA ASSOCIADA A OUTRO MUNDO. A FIM DE PODER INTERPRETAR A LINGUAGEM, CONSIDERA-SE AINDA, PARA CADA UM DOS MUNDOS POSSIVEIS, UMA FUNCAO, DITA FUNCAO DE ACESSIBILIDADE TEMPORAL. DESSE MODO, ENQUANTO A RELACAO ENTRE MUNDOS (RELACAO DE ACESSIBILIDADE) SERVE DE CONTRAPARTE SEMANTICA DOS OPERADORES MODAIS USUAIS, AS RELACOES DE SUCESSAO TEMP ORAL EM CADA MUNDO, PERMITE-NOS INTERPRETAR OS OPERADORES TEMPORAIS; AO PASSO QUE AS ITERACOES DE OPERADORES MODAIS E TEMPORAIS.............