Game Semantics for Vague Quantification

We survey some ideas for generalizing Hintikka's semantic game for classical logic as well as Giles's game for Lukasiewicz logic to model quantification over vague predicates and with vague quantifiers. Randomized choices of admissible precisifications as well as of witnessing constants emerge as a versatile tool for modeling relevant aspects of vagueness.