Reasoning about knowledge - fagin, Ronald . etc; fagin, Ronald . etc (MIT Press Cambridge, 2003)
Keywords: R2