Intensional logik