TY - CPAPER AB - We introduce and motivate a non-standard multi-modal logic to represent and reason about ignorance in Multi-Agent Systems. We argue that in Multi-agent systems being able to reason about what agents ignore is just as important as being able to reason about what agents know. We show a sound and complete axiomatisation for the logic. We investigate its applicability by restating the feasibility condition for the FIPA communication primitive of inform. © 2004 Published by Elsevier Science B.V. AU - Van,Der Hoek W AU - Lomuscio,A DO - 10.1016/S1571-0661(05)82606-4 EP - 133 PY - 2004/// SN - 1571-0661 SP - 117 TI - A logic for ignorance UR - http://dx.doi.org/10.1016/S1571-0661(05)82606-4 ER -