この資料をSMS送信: A comprehensive logic for epistemic propositional attitudes :