The　logical　analysis　of　cooperation　ability　of　agents　has　entered　the　mainstream　of　multi-agent　systems　research.　In　this　paper,　the　cooperation　logic　called　Normative　Alternating-time　Temporal　Logic　with　Actions　is　developed　to　extend　the　Alternating-time　Temporal　Logic.　Three　main　contributions　have　been　made.　Firstly,　the　assumption　is　not　valid　any　more　that　different　agents　can　not　control　the　same　actions　which　obviously　does　not　fit　human　commonsense　understanding　of　the　world.　Secondly,　several　functions　are　brought　in　to　make　it　possible　to　deal　with　the　relation　between　agents　and　actions　and　the　relation　between　actions　and　states　separately.　Finally,　actions　and　normative　ability　are　represented　in　the　object　language　at　the　same　time,　so　that　the　flexibility　and　expressive　power　of　cooperation　logics　have　been　greatly　improved.　It　can　be　used　in　reasoning　about　multi-agent　systems,　as　well　as　in　formalizing　social　contract.　A　case　study　is　also　given　at　last.　©　2006　IEEE.