Modališkumas, logikoje, loginių teiginių klasifikavimas pagal jų teiginį ar paneigimą jų turinio galimybei, negalimumui, nenumatymui ar būtinumui. Modalinę logiką, tiriančią tokių sąvokų loginius bruožus, kilusius iš Aristotelio, išsamiai tyrinėjo antikos ir Europos viduramžių logikai, ir ji daugiausiai buvo ignoruojama po Renesanso, kol atgijo šiuolaikinėje matematinėje logikoje. Pagrindinį teiginį šia tema, suponuotą daugumoje šiuolaikinių diskusijų, pateikė CI Lewisas ir Cooperis Haroldas Langfordas knygoje „Symbolic Logic“ (1932), kuriančioje „griežto implikavimo“ modalinę sistemą aiškinant „jei.“ Loginę jėgą… tada “.
