Decision procedures for BDI logics