A Logic of Recursive Objects