Modalnost, v logiki, razvrstitev logičnih predlogov glede na njihovo trditev ali zanikanje možnosti, nemožnosti, nepredvidljivosti ali potrebe njihove vsebine. Modalno logiko, ki proučuje logične značilnosti takšnih konceptov, ki izvirajo iz Aristotela, so logično proučevali logiki v antiki in evropskem srednjem veku in so bili po renesansi večinoma zapostavljeni, dokler niso oživeli v sodobni matematični logiki. Temeljno trditev o tej temi, ki je predvidena v večini sodobnih razprav, sta CI Lewis in Cooper Harold Langford iz Symbolic Logic (1932), ki razvija modalni sistem "stroge implikacije" za razlago logične sile "če"… potem."
