Johdatus modaalilogiikkaan tutkii modaalikäsitteiden filosofisia ja matemaattis-loogisia ongelmia. Sen käsitteellisenä lähtökohtana on mahdollisten maailmojen semantiikka. Teoksessa tarkastellaan modaalilogiikan perusteita filosofisesta, historiallisesta ja osittain formaalista näkökulmasta. Lisäksi siinä keskitytään modaalilogiikan matemaattiseen ja formaaliin puoleen ja esitetään useiden keskeisten tulosten täsmälliset todistukset. Formaalit tarkastelut ovat havainnollisia, ja jotkut käsitteet esitellään nimenomaan esimerkkien avulla. Teosta voidaan käyttää oppikirjana logiikan erikoiskursseilla filosofiassa, matematiikassa, tietojenkäsittelytieteessä ja muissa oppiaineissa, joissa modaalikäsitteitä tarvitaan. Se soveltuu myös itseopiskeluun, sillä se sisältää runsaasti esimerkkejä ja harjoituksia, jotka havainnollistavat ja täydentävät esiteltyjä teorioita.