https://www.sri.com/publication/cyber-formal-methods-pubs/on-the-relation-between-default-and-autoepistemic-logic/
On The Relation Between Default and Autoepistemic Logic - SRI
Oct 26, 2022 - Default logic is a formal means of reasoning about defaults: what normally is the case, in the absence of contradicting information. Autoepistemic logic, on...
on theautoepistemic logicrelationdefaultsri
https://www.sri.com/publication/cyber-formal-methods-pubs/possible-world-semantics-for-autoepistemic-logic/
Possible-World Semantics For Autoepistemic Logic - SRI
Feb 20, 2023 - This note presents an alternative, possible-world semantics for autoepistemic logic that enables us to construct finite models for autoepistemic theories, as...
possible world semanticsautoepistemic logicsri