Modalna logika in agenti

Modalna logika je običajna logika razširjena z operatorji, ki določajo _način_ veljavnosti izjave. Z modalnimi operatorji lahko formalno izrazimo dejstva kot so "agent Q verjame, da velja A" in "agent