scientific article; zbMATH DE number 431928

MaRDI QIDQ3138702zbMATH OpenFDO

Authors Philippe Balbiani

Publication date 11 November 1993

zbMATH Keywords

nonmonotonic reasoningunprovabilitydefault logicmodal logic K4SLDNF-resolutionmodal logic of provabilitymodal completionnegation as failure rulesemantic of logic programming

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4197966
• A modal nonmonotonic logic
• scientific article; zbMATH DE number 176532
• scientific article; zbMATH DE number 92602
• Modal nonmonotonic logics demodalized

Cited in

(17)

• scientific article; zbMATH DE number 1487805 (Why is no real title available?)
• Ground Nonmonotonic Modal Logic S5: New Results
• scientific article; zbMATH DE number 140387 (Why is no real title available?)
• Embedding modal nonmonotonic logics into default logic
• On the extension of logic programming with negation through uniform proofs
• scientific article; zbMATH DE number 176532 (Why is no real title available?)
• Two-valued logic programs
• The Pure Logic of Necessitation
• Non-monotonicity and conditionals in dialogue logic
• A non-preferential semantics of non-monotonic modal logic
• scientific article; zbMATH DE number 140404 (Why is no real title available?)
• Nonmonotonic default modal logics
• Modal nonmonotonic logics
• Non-monotonic reasoning with logic programming
• Nonclassical logics and information processing. International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
• scientific article; zbMATH DE number 92602 (Why is no real title available?)
• The role of negation in nonmonotonic logic and defeasible reasoning

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