Le logiche modali costituiscono un'estensione della logica classica. Vengono impiegate per studiare gli enunciati e le inferenze in cui compaiono espressioni quali 'è necessario che' e 'è possibile che', dette appunto operatori modali. A partire dal lavoro di logici e filosofi quali Rudolf Carnap, Saul Kripke e David Lewis, questo libro offre un'introduzione chiara e completa alla disciplina.