Модалност , в логиката, класификацията на логическите предложения според тяхното отстояване или отричане на възможността, невъзможността, непредвидимостта или необходимостта от тяхното съдържание. Модалната логика, която изучава логическите особености на такива понятия, възникнали още при Аристотел, е била широко изучавана от логиците в древността и европейското средновековие и в по-голямата си част е била пренебрегвана след Ренесанса, докато не се възроди в съвременната математическа логика. Основното твърдение по този въпрос, предположено в повечето съвременни дискусии, е на К. И. Луис и Купър Харолд Лангфорд в „ Символична логика“ (1932), което разработва модална система на „строго значение“ за тълкуване на логическата сила на „ако. . . тогава."
Тази статия беше последно преработена и актуализирана от Брайън Дуйнян, старши редактор.
