Extensões da lógica temporal Kt.

9 Novembro 2017, 16:00 • Ricardo Santos

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