Abstract The aim of this paper is to provide a logical analysis of intention refifinement process which plays a fundamental role in the belief-desire-intention (BDI) theory. We brieflfly show the existing results: a logical framework for intention refifinement and the extension of hierarchical task network (HTN) planning to capture high-level intentions. We also present two ongoing directions: extending our logical framework with hierarchical decomposition and revision of intentions based on instrumentality