Open AccessAbout effective versions of game theoretical semantics for first-order logic
Author(s) -
I. Yu. Shevchenko
Publication year - 2019
Publication title -
sibirskie èlektronnye matematičeskie izvestiâ
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.468
H-Index - 11
ISSN - 1813-3304
DOI - 10.33048/semi.2019.16.040
Subject(s) - game semantics , order (exchange) , computer science , semantics (computer science) , programming language , operational semantics , economics , denotational semantics , finance