Модална логика

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

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