Extensões da lógica temporal Kt

30 Março 2020, 16:00 • 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.

[Por causa da epidemia de covid-19, esta aula foi dada, no horário habitual, por videoconferência.]