Text this: Sequent calculus usage for BDI agent implementation