Формальные модели в институциональной экономике строятся с помощью теории игр, развитие которой берет отсчет с момента появления книги Дж. фон Неймана и О. Моргенштерна "Теория игр и экономическое поведение" (1944). Во-первых, теория игр занимается анализом ситуаций, в которых поведение индивидов взаимообусловлено: решение каждого из них оказывает влияние на результат взаимодействия и, следовательно, на решения остальных индивидов. Решая вопрос о своих действиях, индивид вынужден ставить себя на место контрагентов. Во-вторых, теория игр не требует полной рациональности индивидов, в ней используется целый ряд моделей индивидов, от индивида как совершенного калькулятора до индивида как робота. В-третьих, теория игр не предполагает существования, единственности и Парето-оптимальности равновесия во взаимодействиях. Эти причины и обусловливают наш интерес к формальным моделям институтов, построенным с помощью теории игр. Обратимся к их анализу более подробно.Первое уточнение касается кооперативных и некооперативных игр. В кооперативных играх возможны обмен информации между участниками и формирование коалиций. В некооперативных играх, о которых и пойдет в основном речь, исходным пунктом в анализе является индивидуальный участник, причем обмен информации между участниками и формирование коалиций исключены. Далее, игра может быть представлена либо в стратегической (матричной), либо в развернутой форме11) Теория игр занимается анализом ситуации в которых поведение партнеров взоимообусловлено, т.е. решение одной стороны влияет на решение и действия другой. 2)теория игр не требует полной информированности и соверщенной рациональности индивидов. 3)Теория игр не предполагает существования единственного и поретто оптимального равновесия. При кооперативном взаимодействии возможен обмен информ и формирование коалиций.. принекоперативной-наоборот.