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

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

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