Search results for: Sergei Artemov
Fundamenta Informaticae > 2022 > Vol. 186, nr 1-4 > 49--62
Indagationes Mathematicae > 2018 > 29 > 1 > 125-134
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Theory Track > 30-39
Lecture Notes in Computer Science
Synthese Library > Games, Norms and Reasons > 23-38
Annals of Pure and Applied Logic > 2014 > 165 > 1 > 6-25