The following pages link to (Q4551034):
Displaying 10 items.
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- A generalization of ordered-pair semantics (Q2148827) (← links)
- A Fixpoint Semantics for Ordered Logic (Q3210906) (← links)
- Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models (Q4013252) (← links)
- (Q4013974) (← links)
- Ordered Logic Programming with Sets (Q4286210) (← links)
- (Q4537439) (← links)
- Order-dual relational semantics for non-distributive propositional logics (Q4644475) (← links)
- A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (Q5271064) (← links)