A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS