A logic toolbox for modeling knowledge and information in multi-agent systems and social epistemology, nr. 133, 2011