Lógica proposicional modal – o sistema K

23 Fevereiro 2021, 18:30 • Ricardo Santos

A semântica dos mundos possíveis (modelos de Kripke) para a lógica modal. A relação de acessibilidade entre mundos. A lógica K: os símbolos e as regras de formação. A semântica. Elementos de uma interpretação: conjunto de mundos possíveis, relação de acessibilidade entre mundos e função que avalia cada fórmula atómica em cada mundo. Definições de verdade (num mundo de uma interpretação), de consequência semântica e de verdade lógica. O método das árvores para a lógica K.