A logic framework