A logic of inferable in multi-agent systems with budget and costs