An epistemic logic for multi-agent systems with budget and costs
scientific article; zbMATH DE number 7437036
scientific article