scientific article; zbMATH DE number 4197966

MaRDI QIDQ5202996zbMATH OpenFDO

Authors Mirosław Truszczyński

Publication date 1991

zbMATH Keywords

modal logicnegation as failureknowledge representationnonmonotonic logicKripke modelcommonsense reasoning

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 431928
• Modal nonmonotonic logics
• Modal provability foundations for negation by failure
• A modal nonmonotonic logic
• A Modal Approach to Negation as Failure Rule

Cited in

(9)

• Naive modus ponens and failure of transitivity
• An alternative rule of disjunction in modal logic
• Minimal knowledge problem: A new approach
• Multi-modal nonmonotonic logics of minimal knowledge
• scientific article; zbMATH DE number 517028 (Why is no real title available?)
• More on bounding introspection in modal nonmonotonic logics
• Hyperequivalence of logic programs with respect to supported models
• Modal nonmonotonic logics
• scientific article; zbMATH DE number 431928 (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 Q5202996)