Anfonwch hwn fel neges destun: From Carnap's Modal Logic to Autoepistemic Logic