Foundations of Decision-Making Agents: Logic, Probability, and Modality