發送短信 : Issues in epistemic and modal logics and their applications /