diff --git a/src/storm/logic/MultiObjectiveFormula.cpp b/src/storm/logic/MultiObjectiveFormula.cpp
index edae6a1ea..dec0fc6cd 100644
--- a/src/storm/logic/MultiObjectiveFormula.cpp
+++ b/src/storm/logic/MultiObjectiveFormula.cpp
@@ -19,6 +19,10 @@ namespace storm {
             return true;
         }
         
+        bool MultiObjectiveFormula::isStateFormula() const {
+            return true;
+        }
+        
         bool MultiObjectiveFormula::hasQualitativeResult() const {
             for(auto const& subformula : this->subformulas){
                 if(subformula->hasQuantitativeResult()){
diff --git a/src/storm/logic/MultiObjectiveFormula.h b/src/storm/logic/MultiObjectiveFormula.h
index faf774958..bee816a61 100644
--- a/src/storm/logic/MultiObjectiveFormula.h
+++ b/src/storm/logic/MultiObjectiveFormula.h
@@ -12,6 +12,7 @@ namespace storm {
             virtual ~MultiObjectiveFormula();
             
             virtual bool isMultiObjectiveFormula() const override;
+            virtual bool isStateFormula() const override;
             
             virtual bool hasQualitativeResult() const override; // Result is true or false
             virtual bool hasQuantitativeResult() const override; // Result is numerical or a pareto curve