scientific article; zbMATH DE number 4197966

zbMATH Open0726.03022MaRDI QIDQ5202996FDOQ5202996

Authors: Mirosław Truszczyński 

Publication date: 1991

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

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

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)

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
• Title not available (Why is that?)
• More on bounding introspection in modal nonmonotonic logics
• Hyperequivalence of logic programs with respect to supported models
• Modal nonmonotonic logics
• Title not available (Why is that?)

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)