Pages that link to "Item:Q5425397"

The following pages link to A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation (Q5425397):

Displaying 3 items.

• A game semantics for disjunctive logic programming (Q388214) (← links)
• A fixed point theorem for non-monotonic functions (Q2257304) (← links)
• The infinite-valued semantics: overview, recent results and future directions (Q4583316) (← links)