An epistemic logic for modeling decisions in the context of incomplete knowledge