Logical Frameworks for Truth and Abstraction