About effective versions of game theoretical semantics for first-order logic
Work
Year: 2019
Type: article
Abstract: 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 Y... more
Author I. Yu. Shevchenko
Institution Sobolev Institute of Mathematics
Cites: 3
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold