Reasoning about Agent ’ s Private Knowledge