I mondi possibili sono diventati uno degli strumenti analitici più utilizzati praticamente in ogni ambito della filosofia. Ma che cos'è, dal punto di vista logico, un mondo possibile? Per rispondere a questa domanda, questo volume ripercorre la genesi e lo sviluppo della semantica a mondi possibili per le logiche modali. Adatto anche a chi si avvicina per la prima volta allo studio della logica, introduce il lettore all'interpretazione dei principali sistemi della logica modale proposizionale e della logica modale quantificata, guidandolo in un percorso che va da zero fino ai modelli a controparti ispirati da David Lewis. Facendo uso del metodo dei tableaux come sistema di prova, presenta in modo intuitivo e didatticamente efficace la costruzione di dimostrazioni e aiuta a comprendere la metateoria.