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

modal logicnegation as failurelogic programsdeclarative semanticsSLDNF-resolution

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Mechanization of proofs and logical operations (03B35) 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

(17)

• Modal provability foundations for negation by failure
• Naive modus ponens and failure of transitivity
• scientific article; zbMATH DE number 589685 (Why is no real title available?)
• scientific article; zbMATH DE number 4084980 (Why is no real title available?)
• scientific article; zbMATH DE number 935034 (Why is no real title available?)
• Failure of interpolation in combined modal logics
• A linear axiomatization of negation as failure
• Negation in the light of modal logic
• scientific article; zbMATH DE number 176532 (Why is no real title available?)
• scientific article; zbMATH DE number 65758 (Why is no real title available?)
• ON THE PROPOSITIONAL SLDNF-RESOLUTION
• scientific article; zbMATH DE number 733397 (Why is no real title available?)
• Logic programming revisited: logic programs as inductive definitions
• scientific article; zbMATH DE number 1531964 (Why is no real title available?)
• On the declarative and procedural semantics of definite metalogic programs
• scientific article; zbMATH DE number 92602 (Why is no real title available?)
• Complete extension of general logic programs

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)