Mathematical Logic for Sequential Decision Making