Reasoning about knowledge - Fagin, Ronald (Cambridge, Mass. MIT Press, 1995)
Keywords: Agent (Philosophy); Knowledge, Theory of; Reasoning