scientific article; zbMATH DE number 549998

MaRDI QIDQ4287518zbMATH OpenFDO

Authors Gerard A. W. Vreeswijk

Publication date 12 April 1994

zbMATH Keywords

autoepistemic logicautoepistemic membershipbeliefknowledgenonmonotonic logicweak S5-like modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Autoepistemic logic
• Intuitionistic autoepistemic logic
• Autoepistemic equilibrium logic and epistemic specifications
• Autoepistemic logic of knowledge and beliefs
• scientific article; zbMATH DE number 500200
• scientific article; zbMATH DE number 97787
• scientific article; zbMATH DE number 60835
• Logic program semantics and circumscription of autoepistemic theories
• Autoepistemic logic of first order and its expressive power
• scientific article; zbMATH DE number 35426

Cited in

(2)

• scientific article; zbMATH DE number 4206035 (Why is no real title available?)
• scientific article; zbMATH DE number 4101147 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4287518)