Intermediate Logics. An historical outline and a guided bibliography