Šajā rakstā tiek apskatītas modālās loģikas pielietošanas iespējas daudzaģentu sistēmās. Pirmās kārtas loģika, kas tradicionāli tiek lietota intelektuālās sistēmās, neļauj atspoguļot un apstrādāt nepilnīgas zināšanas. Modālā loģika ļauj risināt šo problēmu, pievienojot modālos operatorus, kuriem nav patiesuma vērtības. Tas ļauj formalizēt zināšanas un pārliecību par reālās pasaules faktiem. Šī aspekta dēļ modālā loģika ir daudzsološa izmantošanai daudzaģentu tehnoloģijās, kur aģentiem nepieciešams spriest ne tikai par citu aģentu darbībām, bet arī par to rīcībā esošajām zināšanām, iespējamām darbībām, kā arī pārliecību, ka pārējie aģenti veiks mērķa sasniegšanai nepieciešamās darbības. Pēdējos gados vērojama strauja modālās loģikas lietojumu attīstība daudzaģentu sistēmās. No dažādiem modālās loģikas paveidiem normālā modālā loģika ar Kripkes semantiku spriešanā par aģentiem ir kļuvusi par visplašāk izmantoto. Raksts dod ieskatu pašreizējā stāvoklī pētījumos par modālās loģikas izmantošanu daudzaģentu sistēmās.