“A lógica modal foi originalmente concebida como a lógica das verdades necessárias e possíveis. É agora vista de forma mais ampla como o estudo de muitas construções linguísticas que qualificam as condições de verdade das declarações, incluindo declarações relativas ao conhecimento,...