Denne boken om modal logikk er spesielt designet for studenter av filosofi. Den gir en tilgjengelig, men likevel teknisk solid behandling av modal logikk og dens filosofiske anvendelser. For å forenkle presentasjonen benyttes diagrammer i stedet for mer komplekse matematiske verktøy. Disse og andre innovative tilnærminger gir filosofer en lettfattelig tilgang til et rikt utvalg av emner innen modal logikk, inkludert en fullstendig dekning av kvantifisert modal logikk, ikke-stive designatorer, bestemte beskrivelser og distinksjonen mellom de-re og de-dicto. Diskusjoner om filosofiske problemstillinger knyttet til utviklingen av modal logikk blir integrert i teksten. Boken benytter naturlige deduksjonssystemer, som er ansett som blant de enkleste å undervise i og bruke. Den inkluderer også en diagramteknikk som utvider metoden for sannhetstrær til modal logikk. Dette gir et grunnlag for en ny metode for å vise fullstendighet, som lett kan utvides til kvantifikatorer. Denne andre utgaven inneholder et nytt kapittel om logikker.
