short, that allows to build agents as multi-context systems that reason about three
fundamental and graded mental attitudes (ie beliefs, desires and intentions). We propose a
sound and complete logical framework for them and some logical extensions to
accommodate slightly different views on desires.