Sistema K: árvores e contramodelos
1 Março 2021, 18:30 • Ricardo Santos
O método das árvores para a lógica K. Resolução de exercícios. Construção de contramodelos a partir de um caminho aberto de uma árvore acabada. Representação e verificação do contramodelo.