Modal Logic and Negation as Failure

DOI10.1093/LOGCOM/1.3.331zbMATH Open0731.03010OpenAlexW2160999542MaRDI QIDQ3356290FDOQ3356290

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)

Cited In (5)

• Naive modus ponens and failure of transitivity
• Title not available (Why is that?)
• Failure of interpolation in combined modal logics
• Negation in the light of modal logic
• Title not available (Why is that?)

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)