On the Trap Space Semantics of Normal Logic Programs

arXiv:2601.03842v1 Announce Type: new Abstract: The logical semantics of normal logic programs has traditionally been based on the notions of Clark's completion and two-valued or three-valued canonical models, including supported, stable, regular, and well-founded models. Two-valued interpretations…