diff --git a/src/storm/logic/StateFormula.cpp b/src/storm/logic/StateFormula.cpp
index 688d9f8a9..d6b9b6ca5 100644
--- a/src/storm/logic/StateFormula.cpp
+++ b/src/storm/logic/StateFormula.cpp
@@ -5,5 +5,12 @@ namespace storm {
         bool StateFormula::isStateFormula() const {
             return true;
         }
+
+
+        bool StateFormula::isProbabilityPathFormula() const {
+            // a single state formula can be seen as a path formula as well
+            return true;
+        }
+
     }
 }
diff --git a/src/storm/logic/StateFormula.h b/src/storm/logic/StateFormula.h
index 18f745a8b..b7e82d3ae 100644
--- a/src/storm/logic/StateFormula.h
+++ b/src/storm/logic/StateFormula.h
@@ -12,6 +12,9 @@ namespace storm {
             };
             
             virtual bool isStateFormula() const override;
+
+            virtual bool isProbabilityPathFormula() const override;
+
         };
     }
 }