A Modal Approach to Negation as Failure Rule

DOI10.1093/LOGCOM/4.4.359zbMath0809.68052OpenAlexW2090300362MaRDI QIDQ4305346

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) Semantics in the theory of computing (68Q55) Logic programming (68N17)

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