發送短信: Conditional and preferential logics