Wanneer we naar het werk gaan, hoeven we niet elke keer te beslissen of we rechts of verder rijden links omdat we de regel hebben "aan de rechterkant van de weg rijden" op zijn plaats. Deze regel helpt wij coördineren en transformeren een suboptimale situatie in een situatie met meer gewenste kenmerken, dat wil zeggen een waarbij botsingen worden geminimaliseerd. Regels zoals deze zijn bekend binnen de institutionele literatuur als "instellingen". Het zijn dingen zoals wetten en contracten, maar ook zaken als douane, tradities en rituelen. Instellingen worden bestudeerd door verschillende disciplines zoals sociologie, economie, recht, politiek wetenschap en filosofie die heeft geresulteerd in verschillende manieren waarop instellingen zijn opgevat. Ze worden geconceptualiseerd als regels, maar ook als normen en als evenwichten. Het is niet altijd duidelijk hoe deze begrippen uit elkaar te houden en binnen de institutionele literatuur in algemeen is er veel verwarring over welke instellingen precies zijn en hoe ze werken. Mijn project bestaat uit de ontwikkeling van formele logische tools (STIT-logica) om anders te maken conceptualisaties van instellingen nauwkeurig, waardoor ze een beter beeld krijgen van wat deze posities zijn inhouden en, in het algemeen, een beter begrip ontwikkelen van wat instellingen zijn en hoe ze zijn vorm interactie. Door dit te doen draagt ​​het project bij aan de ontwikkeling van beide institutionele analyse en filosofische logica.