Autoepistemic Logic
Home
>
Mathematics
>
Mathematical Logic
>
Non-classical Logics
>
Autoepistemic Logic
This deals with reasoning about beliefs that can be inferred from a set of beliefs.