Text this: From Carnap's Modal Logic to Autoepistemic Logic