 Influences from economics and computer science have led a number of logicians to use logic for analysing decision making under conditions of partial ignorance. (See for example the article on  epistemic logic.)  There are several ways to represent states of knowledge. One is to take them as states or worlds in the kind of modal structure that we mentioned at the beginning of this section. Another is to use IF logic or a variant of it. How are these approaches related? Johan van Benthem 2006 presents some thoughts and results on this very natural question. See also the papers by Johan van Benthem, Krister Segerberg, Eric Pacuit and K. Venkatesh and their references, in Part IV ‘Logic, Agency and Games’ of Van Benthem, Gupta and Parikh 2011 and the entry on  logics for analyzing games  for a sample of recent work in this area.