發送短信 : Journal of philosophical logic.