Results and logical frameworks