Uma lógica modal formal representa modalidades usando operadores modais. Por exemplo: "Era possível o assassinato de Arnaldo" e "Arnaldo foi possivelmente assassinado" são exemplos que contêm a noção de possibilidade. Formalmente, essa noção é tratada como o operador modal Possível, aplicado à sentença "Arnaldo foi assassinado".