diff --git a/src/storm/logic/FormulaContext.cpp b/src/storm/logic/FormulaContext.cpp
new file mode 100644
index 000000000..5bf9ba058
--- /dev/null
+++ b/src/storm/logic/FormulaContext.cpp
@@ -0,0 +1,16 @@
+#include "storm/logic/FormulaContext.h"
+
+namespace storm {
+    namespace logic {
+        std::ostream& operator<<(std::ostream& out, FormulaContext const& formulaContext) {
+          switch(formulaContext) {
+            case storm::logic::FormulaContext::Undefined: out << "Undefined"; break;
+            case storm::logic::FormulaContext::Probability: out << "Probability"; break;
+            case storm::logic::FormulaContext::Reward: out << "Reward"; break;
+            case storm::logic::FormulaContext::LongRunAverage: out << "LongRunAverage"; break;
+            case storm::logic::FormulaContext::Time: out << "Time"; break;
+          }
+          return out;
+        }
+    }
+}
diff --git a/src/storm/logic/FormulaContext.h b/src/storm/logic/FormulaContext.h
index 98786731d..c178a679d 100644
--- a/src/storm/logic/FormulaContext.h
+++ b/src/storm/logic/FormulaContext.h
@@ -1,11 +1,13 @@
 #ifndef STORM_LOGIC_FORMULACONTEXT_H_
 #define STORM_LOGIC_FORMULACONTEXT_H_
 
+#include <sstream>
+
 namespace storm {
     namespace logic {
-        
+
         enum class FormulaContext { Undefined, Probability, Reward, LongRunAverage, Time };
-        
+        std::ostream& operator<<(std::ostream& out, FormulaContext const& formulaContext);
     }
 }