A logic for ignorance

Citations of this article
Mendeley users who have this article in their library.


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.




Van Der Hoek, W., & Lomuscio, A. (2004). A logic for ignorance. In Electronic Notes in Theoretical Computer Science (Vol. 85, pp. 117–133). https://doi.org/10.1016/S1571-0661(05)82606-4

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free