An Epistemic Logic for Multi-agent Systems with Budget and Costs