 It should be noted, that there are also more deductive takes on solution concepts, where successive inferences assume the role of the semantic updates above. A systematic proof-theoretic perspective on game-theoretic reasoning toward solution can be found in de Bruin (2005). Lastly, alternative analyses of Strong and Weak Rationality as well as other game solution concepts, in an abstract rewriting format of computational logic can be found in Apt (2005).