A Multi-agent Modal Language for Concurrency with Non-communicating Agents