Henvis til passagen nedenfor og svar derefter på spørgsmålet på samme sprog som passagen:  Passage: Spilteori har fået en stadig vigtigere rolle i logik og datalogi. Flere logiske teorier har et grundlag i spilsemantik. Desuden har computerforskere brugt spil til at modelisere interaktive beregninger. Spilteori giver også et teoretisk grundlag for området multi-agent systemer. Separat har spilteori spillet en rolle i online algoritmer; især k-server problemet, som tidligere er blevet omtalt som spil med bevægelige omkostninger og forespørgsel-svar spil. Yaos princip er en spilteoretisk teknik til at bevise lavere grænser på den beregningsmæssige kompleksitet af randomiserede algoritmer, især online algoritmer.  Spørgsmål: Hvad er spilteori baseret på?
Spillets semantik