Advances in intensional logic | lit.salon