On the Existence of Fixpoints in Moore's Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle

• Authors:

• Robert F. Stärk

• Affiliations:

• -

• Venue:
• CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
• Year:
• 1990