But the main problem with their paper is this: in order to obtain Gödelian self reference, they take knowledge as a predicate, rather than an intensional operator (see their excuse at the end of the first paragraph on.