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

12 Abril 2021, 18:30 • 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.