Intermediate logic