Advances in Intensional Logic