Dicionário de Termos Linguísticos

Trata-se de um sistema de lógica construído na base da teoria dos modelos e desenvolvido paralelamente por Kripke e por Hintikka. Assim, para o primeiro, a estrutura do modelo M é um triplo ordenado (G,K,R) em que K é o conjunto de todos os mundos possíveis, G é o mundo "real" e R uma relação entre os membros de K. Em qualquer dos sistemas, um modelo é uma função binária de frases atómicas e dos vários mundos possíveis para valores de verdade. A relação R é uma relação de acessibilidade representando quais os mundos que podem ser alcançados a partir de um mundo possível no modelo. Trata-se de um sistema aparentado com outros de lógica intensional em que a noção de valor de verdade de uma fórmula é relativa a um índice.