Extensões da lógica temporal básica.
3 Novembro 2016, 10:00 • Ricardo Santos
Extensões da lógica temporal básica: anterioridade transitiva e linear (ou convergente). Novas regras para as árvores. Exame de novas tautologias. Resolução de exercícios.
3 Novembro 2016, 10:00 • Ricardo Santos
Extensões da lógica temporal básica: anterioridade transitiva e linear (ou convergente). Novas regras para as árvores. Exame de novas tautologias. Resolução de exercícios.