A Logic For Decidable Reasoning About Actions