About effective versions of game theoretical semantics for first-order logic

I. Yu. Shevchenko
2018 Sibirskie Elektronnye Matematicheskie Izvestiya  
In the article we compare two approaches to effectivisation of game theoretical semantics for first-order logic. One of the approaches was provided by Sergey P. Odintsov, Stanislav O. Speranski, Igor Yu. Shevchenko in the previous article, and it is based on a game-theoretical reconstruction of strategy conception. In this article we provide the other approach -we consider a strategy as a function determined on a set of histories and then we set an equivalence between these two approaches.
doi:10.33048/semi.2019.16.040 fatcat:ulsmsanmafh2lkuoy44jzr5jsq