intensional logics