This book identifies important recent developments in intensional logic, a branch of logic with applProducator: SPRINGER PG