Pages that link to "Item:Q345702"
From MaRDI portal
The following pages link to Game semantics for non-monotonic intensional logic programming (Q345702):
Displaying 7 items.
- A game semantics for disjunctive logic programming (Q388214) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Intensional logic in context (Q2758292) (← links)
- (Q2762516) (← links)
- Fast interpreter for logical reasoning in general game playing (Q2957963) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187859) (← links)
- Game-theoretic semantics for non-distributive logics (Q5241925) (← links)