logic framework