The following pages link to (Q3574464):
Displaying 10 items.
- On the use (and abuse) of logic in game theory (Q266655) (← links)
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- A positive information logic for inferential information (Q833030) (← links)
- Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information (Q1956374) (← links)
- Partially observable game-theoretic agent programming in Golog (Q2300459) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- Game theoretical semantics for some non-classical logics (Q4586163) (← links)
- (Q4738570) (← links)
