This paper studies the optimal design of second-best corrective regulation, when some agents or activities cannot be perfectly regulated. We show that policy elasticities and Pigouvian wedges are sufficient statistics to characterize marginal welfare impact regulatory policies in a large class environments. is determined by subset elasticities: leakage elasticities, value relaxing constraints. ...

We introduce an extension of Strategy Logic for the imperfect-information setting, called SL ii and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, problem is undecidable; but we a syntactical class “hierarchical instances” which, intuitively, as one goes down syntactic tree formula, strategy quantifications are concerned finer o...