LOGICAL FRAMEWORKS FOR TRUTH AND ABSTRACTION