Hintikka Style Game Rules for Semi-Fuzzy Quantifiers

Abstract

Extending Hintikka's game for the evaluation ofclassical formulas, we explore the realm of quantifier rules thatcan be defined by combining several moves consisting of choicesby the two strategic players, but also by a third non-strategicplayer 'Nature', representing random choices. The simple formatof Hintikka-style games is compared to the seemingly much moregeneral one of Giles's game for Lukasiewicz logic.