«First Steps in Modal Logic» er en grunnleggende innføring i proposisjonell modal logikk, skreddersydd for matematikere, datavitere og filosofer. Boken legger særlig vekt på de semantiske aspektene, presentert gjennom merkede overgangsstrukturer, heller enn på teorien bak bevis. Her dekkes alle de essensielle emnene - fra proposisjonelle språk og semantikk til bevisystemer og fullstendighetsresultater - sammen med noen temaer som vanligvis ikke inngår i tradisjonelle kurs om modal logikk. Med en matematisk tilnærming er stoffet delt opp i korte kapitler, der hver enkelt fokuserer på et spesifikt tema. Disse kapitlene er organisert i fem deler, hver med sitt felles tema. En sentral egenskap ved boken er det store antallet oppgaver, samt et omfattende sett med løsninger som følger med, noe som gir leseren mulighet til å fordype seg i stoffet og styrke sin forståelse.
