1. Modal Logic: an introduction;Chellas,1980
2. Intention is choice with commitment;Cohen;Artificial Intelligence Journal,1990
3. Cognitive and Social Action;Conte,1995
4. Proof Methods for Modal and Intuitionistic Logics;Fitting,1983
5. Operational Specification of a Commitment-Based Agent Communication Language;Fornara,2002