Sumários
Extensões da lógica temporal Kt
8 Abril 2021, 18:30 • Ricardo Santos
Resolução de exercícios na lógica temporal básica: exercícios com árvores e construção de contramodelos. Extensões da lógica temporal básica. A que condições deve a relação de anterioridade obedecer? A reflexividade e a simetria seriam desejáveis se o tempo fosse circular. A extensibilidade: não há começo nem fim do tempo. Exame de novas tautologias na lógica temporal extensível.
Extensões da lógica temporal Kt
6 Abril 2021, 18:30 • Ricardo Santos
Resolução de exercícios na lógica temporal básica: exercícios com árvores e construção de contramodelos. Extensões da lógica temporal básica. A que condições deve a relação de anterioridade obedecer? A reflexividade e a simetria seriam desejáveis se o tempo fosse circular. A extensibilidade: não há começo nem fim do tempo. Exame de novas tautologias na lógica temporal extensível.
Lógica temporal proposicional básica: o sistema Kt
5 Abril 2021, 18:30 • Ricardo Santos
A lógica temporal proposicional básica: o sistema Kt. A linguagem formal e a semântica de Kt. Condições de verdade para os operadores temporais. Regras para o método das árvores aplicado à lógica temporal básica. Exame de algumas tautologias temporais.