Extensões da lógica temporal Kt.

12 Novembro 2018, 12: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.