Sa~zetak:
Definirat ~temo igre s povratom koje predstavljaju generalizaciju
igara parnosti u smislu da je pod odre~denim uvjetima igra~cima
dopu~steno vra~tanje potez~a. Ovakve igre i dalje ostaju unutar
klase Borelovih igara, no pokazat ~te se da su znatno slo~zenije
od igara parnosti. Dodatno pove~tanje u ekspresivnosti omogu~tit ~te
upotrebu igara s povratom kao prirodnih igara za verifikaciju modela
u logikama inflatorne fiksne to~cke poput IFP ili MIC
(Modal Iteration Calculus).