Logical frameworks for truth and abstraction