scientific article; zbMATH DE number 4156408

MaRDI QIDQ3484810zbMATH OpenFDO

Authors Fangzhen Lin

Publication date 1988

zbMATH Keywords

circumscriptionknowledge operatorpropositional S5 modal logic of knowledge of one agentreasoning about knowledgevalidity

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

• 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

Cited in

(11)

• Autocircumscription
• A logic of knowledge and justified assumption
• Minimal belief and negation as failure
• Circumscriptive semantics for updating knowledge bases
• Circumscription within monotonic inferences
• scientific article; zbMATH DE number 35418 (Why is no real title available?)
• scientific article; zbMATH DE number 89001 (Why is no real title available?)
• scientific article; zbMATH DE number 512983 (Why is no real title available?)
• scientific article; zbMATH DE number 549984 (Why is no real title available?)
• scientific article; zbMATH DE number 1023024 (Why is no real title available?)
• McCarthy variations in a modal key

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)