Modalitet, u logici, razvrstavanje logičkih prijedloga prema njihovoj tvrdnji ili poricanju mogućnosti, nemogućnosti, nepredviđenosti ili nužnosti njihovog sadržaja. Modalna logika, koja proučava logičke značajke takvih koncepata, nastala s Aristotelom, logično su proučavali logičari u antici i europskom srednjem vijeku, i uglavnom je bila zapostavljena nakon renesanse, dok nije oživjela u modernoj matematičkoj logici. Osnovnu izjavu o ovoj temi, pretpostavljenu u većini suvremenih rasprava, dali su CI Lewis i Cooper Harold Langford u Symbolic Logic (1932), koji razvija modalni sustav „stroge implikacije“ za tumačenje logičke sile „ako“.,, zatim."
