A lógica modal quantificada simples

26 Abril 2021, 18:30 • Ricardo Santos

Introdução à lógica modal quantificada simples (LMQS). A linguagem: os símbolos e as regras de formação. A semântica: interpretações da linguagem da LMQS. Interpretação dos predicados relativa a cada mundo possível. Os nomes como designadores rígidos. Domínio de quantificação constante. Condições de verdade de fórmulas atómicas e de fórmulas complexas (conectivas, operadores modais, quantificadores). Regras para as árvores: regras para os quantificadores e regras para a identidade.