Alternating-time　Temporal　Epistemlc　Logic　(ATEL)　which　is　an　important　kind　of　multi-agent　cooperation　logics　only　takes　knowledge　into　account,　but　does　not　deal　with　belief　of　agents.　By　introducing　three　kinds　of　belief　operators　into　ATEL,　a　new　multiagent　cooperation　logic　named　ATBKL　(Alternating-time　Temporal　Belief　and　Knowledge　Logic)　was　developed.　A　model　checking　algorithm　was　proposed.　It　is　proved　that　the　model　checking　complexity　of　ATBKL　is　the　same　as　that　of　ATEL,　i.e.,　the　presented　logic　is　better　for　further　study　of　multi-agent　systems.