@article{adam2009logical,
  title={A logical formalization of the {OCC} theory of emotions},
  author={Adam, Carole and Herzig, Andreas and Longin, Dominique},
  journal={Synthese},
  volume={168},
  number={2},
  pages={201--248},
  year={2009},
  publisher={Springer}
}