自认识逻辑的英文翻译

中文:自认识逻辑

英文翻译:【计】 autoepistemic logic