Modalitas, dalam logika, klasifikasi proposisi logis menurut pernyataan mereka atau menyangkal kemungkinan, ketidakmungkinan, kemungkinan, atau kebutuhan konten mereka. Modal logika, yang mempelajari fitur-fitur logis dari konsep-konsep seperti itu, berasal dari Aristoteles, dipelajari secara luas oleh para ahli logika pada zaman kuno dan Abad Pertengahan Eropa, dan, sebagian besar, diabaikan setelah Renaisans hingga dihidupkan kembali dalam logika matematika modern. Pernyataan dasar tentang hal ini, yang diduga dalam sebagian besar diskusi kontemporer, adalah oleh CI Lewis dan Cooper Harold Langford dalam Symbolic Logic (1932), yang mengembangkan sistem modal “implikasi ketat” untuk menafsirkan kekuatan logis “jika… kemudian."
