Книгата е замислена като първа част на едно изследване върху семантиката на модалната логика и по-специално върху философските и логическите проблеми, свързани с нея. Тази първа част се занимава с проблеми, специфични за различните модални логики, като са засегнати алетическата модална логика /логиката на необходимостта и възможността/, темпоралната модалнан логика /логиката на бъдещето и миналото/ и деонтичната модална логика /логиката на трябването и позволеността/. Спецификата на трите е схваната като специфика на формалните свойства на релацията на достижимост между възможните светове.
В книгата не се предпоставят никакви предварителни знания по логика или философия, но разбира се, общата запознатост на читателя с логиката би била само от полза.