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