scientific article; zbMATH DE number 431928

zbMATH Open0794.03030MaRDI QIDQ3138702FDOQ3138702

Authors: Philippe Balbiani 

Publication date: 11 November 1993

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

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

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)

Cited In (17)

• Ground Nonmonotonic Modal Logic S5: New Results
• Title not available (Why is that?)
• Embedding modal nonmonotonic logics into default logic
• On the extension of logic programming with negation through uniform proofs
• Title not available (Why is that?)
• Two-valued logic programs
• Non-monotonicity and conditionals in dialogue logic
• The Pure Logic of Necessitation
• Title not available (Why is that?)
• A non-preferential semantics of non-monotonic modal logic
• 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
• Title not available (Why is that?)
• The role of negation in nonmonotonic logic and defeasible reasoning
• 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 Q3138702)