A Formal Framework for Disaster Risk Properties