Sib. Èlektron. Mat. Izv., 2019, Volume 16, Pages 618–637
Mathematical logic, algebra and number theory
About effective versions of game theoretical semantics for first-order logic
I. Yu. Shevchenko
Sobolev Institute of Mathematics, 4, Koptyuga ave., Novosibirsk, 630090, Russia
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.
game theoretical semantics, Nelson's realizability, computability.
PDF file (238 kB)
Received July 29, 2018, published May 15, 2019
I. Yu. Shevchenko, “About effective versions of game theoretical semantics for first-order logic”, Sib. Èlektron. Mat. Izv., 16 (2019), 618–637
Citation in format AMSBIB
\paper About effective versions of game theoretical semantics for first-order logic
\jour Sib. \`Elektron. Mat. Izv.
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|