  This volume contains the proceedings of the Fourth International Workshop on
Strategic Reasoning (SR 2016), held in New York City (USA), July 10, 2016. The
workshop consisted of 2 keynote talks and 9 contributed presentations on themes
of logic, verification, games and equilibria.
  More information about the Strategic Workshop series is available at
http://www.strategicreasoning.net/
