scientific article; zbMATH DE number 431928

MaRDI QIDQ3138702zbMATH OpenFDO

Authors Philippe Balbiani

Publication date 11 November 1993

zbMATH Keywords

default logicmodal completionmodal logic K4modal logic of provabilitynegation as failure rulenonmonotonic reasoningsemantic of logic programmingSLDNF-resolutionunprovability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) 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

(24)

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

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)