Back منطق موجهات Arabic Lògica modal Catalan Modální logika Czech Modallogik Danish Modallogik German Modal logic English Modala logiko Esperanto Lógica modal Spanish Modaalne loogika Estonian منطق موجهات Persian
Modale logica's kunnen worden gezien als een uitbreiding van andere logica's, zoals de propositielogica of de predicatenlogica. Er worden extra operatoren gebruikt, die modaliteiten uitdrukken. Oorspronkelijk waren dit de modaliteiten het is mogelijk dat en het is noodzakelijk dat, maar later zijn talloze andere modaliteiten voorgesteld, om tijd, geloof, onzekerheid, enzovoorts te kunnen weergeven. Een werk dat aan de basis ligt van de modale logica's, is A Survey of Symbolic Logic van de Amerikaanse filosoof Clarence Irving Lewis (1918).
Voor de semantiek van modale logica's worden vaak Kripkemodellen gebruikt.