Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*