@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} }