Source: wikibot/autoepistemic-logic

= Autoepistemic logic
{wiki=Autoepistemic_logic}