scientific article; zbMATH DE number 35416

MaRDI QIDQ3989938zbMATH OpenFDO

Authors Kurt Konolige

Publication date 28 June 1992

zbMATH Keywords

autoepistemic logicmodal logic of self-knowledgenonmonotonic logicquantificationsemantics

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

• Revisiting quantification in autoepistemic logic
• Intuitionistic autoepistemic logic
• Autoepistemic logic
• scientific article; zbMATH DE number 1028834
• scientific article; zbMATH DE number 1852921
• Autoepistemic equilibrium logic and epistemic specifications
• scientific article; zbMATH DE number 35426
• scientific article; zbMATH DE number 149516
• Quantified modal logic and self-reference
• Quantification in modern logic

Cited in

(7)

• A comparative study of open default theories
• Referential opacity and epistemic logic
• Quantifiers and cognition: logical and computational perspectives
• Autoepistemic logic revisited
• scientific article; zbMATH DE number 149516 (Why is no real title available?)
• scientific article; zbMATH DE number 1523027 (Why is no real title available?)
• Extensions for open default theories via the domain closure assumption

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 Q3989938)