TY - JOUR T1 - A logic for characterizing multiple bounded agents JF - Autonomous Agents and Multi-Agent Systems Y1 - 2000 A1 - Grant,J. A1 - Kraus,S. A1 - Perlis, Don VL - 3 CP - 4 ER -