Modal Logic and Negation as Failure

DOI10.1093/LOGCOM/1.3.331MaRDI QIDQ3356290zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani

Publication date 1991

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

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

zbMATH Keywords

declarative semanticslogic programsmodal logicnegation as failureSLDNF-resolution

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 65758
• scientific article; zbMATH DE number 1531964
• scientific article; zbMATH DE number 589685
• scientific article; zbMATH DE number 431928
• Modal provability foundations for negation by failure

Cited in

(21)

• Complete extension of general logic programs
• \(N\)-Prolog and equivalence of logic programs. I
• Naive modus ponens and failure of transitivity
• Negation in the light of modal logic
• ON THE PROPOSITIONAL SLDNF-RESOLUTION
• scientific article; zbMATH DE number 4084980 (Why is no real title available?)
• A linear axiomatization of negation as failure
• scientific article; zbMATH DE number 65758 (Why is no real title available?)
• 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 589685 (Why is no real title available?)
• A Modal Approach to Negation as Failure Rule
• scientific article; zbMATH DE number 733397 (Why is no real title available?)
• Rules as actions: A situation calculus semantics for logic programs
• scientific article; zbMATH DE number 1531964 (Why is no real title available?)
• scientific article; zbMATH DE number 10085 (Why is no real title available?)
• On the declarative and procedural semantics of definite metalogic programs
• scientific article; zbMATH DE number 935034 (Why is no real title available?)
• Modal provability foundations for negation by failure
• Logic programming revisited: logic programs as inductive definitions
• Failure of interpolation in combined modal logics

This page was built for publication: Modal Logic and Negation as Failure

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