Towardmultiple-agent extensions ofpossibilistic logic