Extensões da lógica temporal Kt

8 Abril 2021, 18:30 • Ricardo Santos

Resolução de exercícios na lógica temporal básica: exercícios com árvores e construção de contramodelos. Extensões da lógica temporal básica. A que condições deve a relação de anterioridade obedecer? A reflexividade e a simetria seriam desejáveis se o tempo fosse circular. A extensibilidade: não há começo nem fim do tempo. Exame de novas tautologias na lógica temporal extensível.