модалната логика е част от съвременната символна логика. По-точно тя е едно надграждане върху класическата символна логика чрез това, че към последната се добавят логически символи, с помощта на които могат да бъдат представяни символно модални твърдения. Модалните твърдения са тези твърдения, чрез които изразяваме необходимост, възможност, задължителност, допустимот и др. От логическа гледна точка модалните твърдения се разглеждат като получени от други твърдения чрез различни модални оператори - за възможност, необходимост, задължителност и т.н.
В тази книга ние ще се ограничим до модалната логика в тесен смисъл, т.е. до модалната логика, която се занимава с необходимостта и възможността, при това - до така наречената "строга" или "логическа" възможност и необходимост.