scientific article; zbMATH DE number 4156408

zbMATH Open0705.03006MaRDI QIDQ3484810FDOQ3484810

Authors: Fangzhen Lin 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• Decidability and definability with circumscription
• The expressive power of circumscription
• scientific article; zbMATH DE number 512983
• Circumscription within monotonic inferences
• scientific article; zbMATH DE number 640290

zbMATH Keywords

validitycircumscriptionreasoning about knowledgeknowledge operatorpropositional S5 modal logic of knowledge of one agent

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• McCarthy variations in a modal key
• Autocircumscription
• A logic of knowledge and justified assumption
• Title not available (Why is that?)
• Circumscription within monotonic inferences
• Minimal belief and negation as failure

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