A Modal Approach to Negation as Failure Rule

DOI10.1093/LOGCOM/4.4.359MaRDI QIDQ4305346zbMATH OpenOpenAlexFDO

Authors Stefano Baratella

Publication date 13 September 1994

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/4.4.359

zbMATH Keywords

modal logicpredicate programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 589685
• Modal Logic and Negation as Failure
• Modal provability foundations for negation by failure
• scientific article; zbMATH DE number 431928

Cited in

(7)

• Negation in the light of modal logic
• scientific article; zbMATH DE number 589685 (Why is no real title available?)
• scientific article; zbMATH DE number 6863659 (Why is no real title available?)
• scientific article; zbMATH DE number 935034 (Why is no real title available?)
• Modal provability foundations for negation by failure
• scientific article; zbMATH DE number 4197966 (Why is no real title available?)
• Representing Defaults and Negative Information Without Negation-as-Failure

This page was built for publication: A Modal Approach to Negation as Failure Rule

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