A Fixed-point Model-checker for BDI Logics over Finite-state Worlds