Extensões da lógica temporal Kt (cont.)

1 Abril 2020, 16:00 • Ricardo Santos

Extensões da lógica temporal básica: anterioridade extensível (em ambas as direcções), transitiva, convergente (em ambas as direcções) e densa. Novas regras para as árvores. Exame de novas tautologias. Resolução de exercícios.

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