The following pages link to Degrees of indeterminacy of games (Q5643819):
Displaying 11 items.
- Separating the basic logics of the basic recurrences (Q409329) (← links)
- Toggling operators in computability logic (Q631756) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- Introduction to clarithmetic. I (Q642523) (← links)
- On abstract resource semantics and computability logic (Q980944) (← links)
- Sequential operators in computability logic (Q999265) (← links)
- Many concepts and two logics of algorithmic reduction (Q1005975) (← links)
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- A game semantics for linear logic (Q1192350) (← links)
- The intuitionistic fragment of computability logic at the propositional level (Q2373697) (← links)
