Ignore at your peril - towards a logic for ignorance
Wiebe van der Hoek, Alessio R. Lomuscio · 2003
A non-standard modal logic that we argue useful to represent formally the concept of ignorance in multi-agent systems is reported. We give syntax, and semantics and discuss issues relating to its axiomatisation.