Logical Formulation For System Maintenance Logical Formulation For System Maintenance Logical Formulation For System Maintenance Logical Formulation For System Maintenance