Hmm... I heard 13.56 MHz band RFID readers are capable of multiple tags. I know Texas Instruments makes a chip that is fairly cheap. It is the TRF7961. Might need more than an Arduino to make it work however, the example circuit in the datasheet seems fairly complicated.