發送短信: From Carnap's Modal Logic to Autoepistemic Logic