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