le logiche modali costituiscono un`estensione della logica classica. vengono impiegate per studiare gli enunciati e le inferenze in cui compaiono espressioni quali `e` necessario che` e `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.