modalna logika, grana logike koja se bavi mogućnostima prevodivosti jednih iskaza na druge, uz zadovoljavanje modaliteta nužnosti (apodiktičnost), zbiljnosti (asertoričnost) i istinitosti. Razvija se kao modalna logika iskaza (C. I. Lewis i dr.), te modalna logika značenja (J. Hintikka i dr.), uz brojne posebne teorije logičkih računa.