Modal provability foundations for negation by failure

DOI10.1007/BFB0038695MaRDI QIDQ5053008zbMATH OpenOpenAlexFDO

Authors Dov Gabbay

Publication date 26 November 2022

Published in Extensions of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0038695

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 589685
• scientific article; zbMATH DE number 176532
• Modal Logic and Negation as Failure
• scientific article; zbMATH DE number 92602
• A Modal Approach to Negation as Failure Rule

Cited in

(13)

• MOLOG: A system that extends PROLOG with modal logic
• Definability and commonsense reasoning
• Naive modus ponens and failure of transitivity
• Modal Logic and Negation as Failure
• A linear axiomatization of negation as failure
• scientific article; zbMATH DE number 92602 (Why is no real title available?)
• scientific article; zbMATH DE number 176532 (Why is no real title available?)
• scientific article; zbMATH DE number 4128783 (Why is no real title available?)
• scientific article; zbMATH DE number 1349998 (Why is no real title available?)
• scientific article; zbMATH DE number 589685 (Why is no real title available?)
• A Modal Approach to Negation as Failure Rule
• scientific article; zbMATH DE number 4197966 (Why is no real title available?)
• Nonmonotonic inferences: classical conclusions in an intuitionistic modal framework

This page was built for publication: Modal provability foundations for negation by failure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5053008)