Title: Intensional logic revisited