Trata de necessidade, possibilidade, contrafactuais, mundos possíveis e acessibilidade. Modelos simples permitem avaliar frases modais e distinguir necessidade lógica, metafísica e epistêmica.
